function display_menu(lvl, num) {
   for (mn in menu[lvl]) {
      if (!isNaN(mn) && menu[lvl][mn] != num)
         document.getElementById('menu'+menu[lvl][mn]).style.display = "none";
   }
   document.getElementById('menu'+num).style.display = "block";
}