function DHTMLSound(surl) {
	document.getElementById("dummydiv").innerHTML="<embed src='"+surl+"' hidden=true autostart=true loop=false />";
}

function stopSound()	{
	document.getElementById("dummydiv").innerHTML="<embed src='niets.mp3' hidden=true autostart=true loop=false />";
}