function sound_on()
{
 document.getElementById('sound_el').play();
}

function sound_off()
{
 document.getElementById('sound_el').stop();
}