<!--
function playSound( mysound )
{ thisSound = document.getElementById(mysound);
  thisSound.Play();
}
//-->