// JScript File

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

function RandomPlay() {
	var num=1+Math.floor(9*Math.random());
	DHTMLSound('random/'+num+'.wav');
}