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