/*
	function PlaySound(url) {
	  document.all.sound.src = url;
	}
	function EvalSound(soundobj){
	  var thissound= eval("document."+soundobj);
	  thissound.Play();
	}
	*/
	// Currently: PlaySound('notifySound'); will play the notification sound...
	function PlaySound(soundobj){
	    return;
	  var thissound=document.getElementById(soundobj);
	  thissound.style.display = '';
	  thissound.Play();
	}
	/*
	function EvalSound3(soundobj){
	 var thissound= eval("document."+soundobj);
	 try {
	     thissound.Play();
	 }
	 catch (e) {
	     thissound.DoPlay();
	 }
	}
	function DHTMLSound(divId, surl) {
	  document.getElementById(divId).innerHTML="<embed src='"+surl+"' hidden=true autostart=true loop=false>";
	}
	*/