// JavaScript Document
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(9 * Math.random());
//	DHTMLSound('random/'+num+'.wav');
	DHTMLSound('/tiger.mp3');
}