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(19*Math.random());

	DHTMLSound('/hear/random/'+num+'.mp3');

}