function menu_on(id) {
/* for(i=1;i<8;i++) {
  if(i!=id) {
   if (el = document.getElementById('menu'+String(i)))
        el.style.display='none';
  }
 }
*/
 if ((el = document.getElementById('menu'+String(id)))){  
  el.style.display='';
 }
}

function menu_off() {   
   for(i=1;i<8;i++)   {
    if (el = document.getElementById('menu'+String(i)))
         el.style.display='none';
   } 
}