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