function DHTMLSound(surl) {
  document.getElementById('dummyspan').innerHTML="<embed src='"+surl+"' height=0 width=0 autostart=true loop=false>";
}
function RandomPlay() {
	DHTMLSound('pendule_sound.wav');
}