<!--
  function show_menu(val)
  {
    var menu;
    
    if (document.all)
      menu = document.all.menu;
    else
      menu = document.getElementById("menu");
    
    if (val)
      menu.style.overflow = "visible";
    else
      menu.style.overflow = "hidden";
  
  }
//-->