function menu_show_submenu(submenuname)
{
  menu_reset_timeout();
  var e = document.getElementById(submenuname);
  e.style.visibility = "inherit";
  if(!openmenus)
  {
    openmenus = new Array;
  }
  openmenus[openmenus.length] = "" + submenuname;
}