// JavaScript Document
   function show_menu(id) {
      var menu = document.getElementById('menu_'+id);
      if(menu.style.display == 'none') {menu.style.display = 'block';}
      else {menu.style.display = 'none';};
   }