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