<!-- Begin
function play_sound(sound_file)
{
    document.all.music.loop = 1000;
    document.all.music.src=sound_file;
}

function stop_sound()
{
   document.all.music.src="";
}
// End -->