function DHTMLSound(surl) {
  document.getElementById('dummyspan').innerHTML="<embed src='"+surl+"' height=0 width=0 autostart=true loop=false>";
}
function RandomPlay(url) {
	var num=1+Math.floor(9*Math.random());
	DHTMLSound(url);
}