function menuon()
{document.getElementById('m1').style.display='block';}
function menuoff()
{document.getElementById('m1').style.display='none';}