function sound(sound_location)
{
if (document.all)
  {
   document.all.music.src=sound_location;
  }
}

function sound_stop()
{
if (document.all)
  {
   document.all.music.src="";
  }
}