function vismenu (nr)
{ skjulmenu();
  I = 'menu'+nr;
  document.getElementById(I).style.visibility='visible';
}

function skjulmenu ()
{ var oColl = document.getElementsByTagName("DIV");
  for (var p=0; p< oColl.length; p++)
  { if (oColl[p].className == 'undermenustyle')
    { oColl[p].style.visibility="hidden";
    }
  }
}