function PlaySound(url) {
	  document.all.sound.src = url;
	}
	function EvalSound(soundobj){
	  var thissound= eval("document."+soundobj);
	  thissound.Play();
	}
	function EvalSound2(soundobj){
	  var thissound=document.getElementById(soundobj);
	  thissound.Play();
	}
	function EvalSound3(soundobj){
	 var thissound= eval("document."+soundobj);
	 try {
	     thissound.Play();
	 }
	 catch (e) {
	     thissound.DoPlay();
	 }
	}
	function DHTMLSound(surl) {
	  document.getElementById("dummyspan").innerHTML="<embed src='"+surl+"' hidden=true autostart=true loop=false>";
	}