function show_menu(m){document.getElementById(m).style.display="block";}
function hide_menu(m){document.getElementById(m).style.display="none";}