// JavaScript Document



function PlaySound(url) {
  document.all.sound.src = url;
}

function StopSound(url) {
  document.all.sound.src = url;
}

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

function StopDHTMLSound(surl) {
  document.getElementById("bgsound").innerHTML=
    "<embed src='"+surl+"' hidden=true autostart=falseloop=false>";

}