As far as I know, mIRC uses the default "ding.wav" in your windows theme unless you tell it differently in the mIRC configuration (I just changed the sound in my windows theme).