// JavaScript Document
function show_menu(m){
document.getElementById(m).style.visibility="visible";
}
function hide_menu(m){
document.getElementById(m).style.visibility="hidden";
}