/* play_sound.js
(see HTML stuff.txt or preacherspoint.com/davemarg/index.htm) */

function playSound(soundfile)
{ document.getElementById("sounddummy").innerHTML=
"<embed src=\""+soundfile+"\" hidden=\"true\" autostart=\"true\" loop=\"false\" />";
}