function hide_menu(id){
  id.style.visibility = "hidden";
}
function show_menu(id){
  id.style.visibility = "visible";
}