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