function playSound(s)
{
if (document.all)
 {
  document.all.sound.src = s;
 }
}