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