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>";
}