>Actually, only Chrome can play MP3, OGG and WAV. IE9 can only play MP3. Firefox cannot play MP3 but can play the other two. So, we have to store various formats of our sound files on the server, use javascript to detect all that and we should be fine for a while. I guess HTML5 is not that yet of a standard for all those browsers.

Use MP3 and OGG and you'll be covered with all browsers.

And if you have a problem playing a WAV file on one OS, it's probably not the OS's fault.

WAV has a fairly loose specification, and people do funny things with it all the time.

So it's probably the fault of whatever software you used to create the WAV file.

You may want to try remaking it.