var closeInterval; // Menu Closing flag
var mPointer; // The Menu

function setupMenu() {
  // All we really need to do here is get the pointer to the menu
  if (document.layers) { // Netscape 4 accesses things in odd ways...
    mPointer = window.document.theMenu;
    } else if (document.all) { // IE method:
    mPointer = document.all.theMenu;
    } else { // NS 5+ method:
    mPointer = document.getElementById("theMenu");
    };
  };

function openMenu() {
  if (document.layers) { // Netscape 4 accesses things in odd ways...
    mPointer.visibility = "visible";
    } else { // everyone else uses the "style" object:
    mPointer.style.visibility = "visible";
    };
  };

function closeMenu() {
  if (document.layers) { // Netscape 4 accesses things in odd ways...
    mPointer.visibility = "hidden";
    } else { // everyone else uses the "style" object:
    mPointer.style.visibility = "hidden";
    };
  clearInterval(closeInterval);
  };


function menuItemExit() {
  // start up the timer to close the menu!
  closeInterval = setInterval("closeMenu()",800);
  };

function menuItemEnter() {
  // cancel the timer to close the menu!
  clearInterval(closeInterval);
  };