/* start everything off with visibility: hidden in the stylesheet */

var openedMenu = null;
var openedName = "";

var closeMenuTimeout = null;

function OpenMenu(menuId)
  {
  if (closeMenuTimeout != null)
    {
    clearTimeout(closeMenuTimeout);
    }
  if (openedMenu != null)
    {
    if (openedName == menuId)
      {
      return;
      }
    openedName = menuId;
    openedMenu.style.visibility="hidden";
    openedMenu.style.display="none";
    }
  openedMenu = document.getElementById(menuId);
  openedMenu.style.visibility="visible";
  openedMenu.style.display="block";
  }

function CloseMenus()
  {
  closeMenu();
  }

function closeMenu()
  {
  if (closeMenuTimeout != null)
    {
    clearTimeout(closeMenuTimeout);
    }
  if (openedMenu == null)
    {
    return;
    }
  openedMenu.style.visibility="hidden";
  openedMenu.style.display="none";
  openedMenu = null;
  closeMenuTimeout = null;
  }

function losemouse()
  {
  if (closeMenuTimeout != null)
    {
    clearTimeout(closeMenuTimeout);
    }
  closeMenuTimeout = setTimeout('closeMenu();', 500);
  }

function gainmouse()
  {
  if (closeMenuTimeout != null)
    {
    clearTimeout(closeMenuTimeout);
    }
  }

/*
var menusopened = ""; // the string where we keep track of what's open
var callback_fn = null;

function doExitCallBack () {
	if (callback_fn != null) {
	(callback_fn)();
	} else {
	}
}

function OpenMenu(which){ // toggles a menu when title is clicked
	callback_fn = function () { };
    if (menusopened.indexOf(which)==-1){ // it's closed, let's open it
		CloseMenus();
		document.getElementById(which).style.visibility="visible";
		document.getElementById(which).style.display="block";
		menusopened += '|'+which;
		if (document.all) {
		}
    }
	 else if (menusopened.indexOf(which)!=-1){ // it's open, let's close it
	document.getElementById(which).style.visibility="hidden";
	document.getElementById(which).style.display="none";
	vartoreplace = "|" + which;
	menusopened = menusopened.replace(vartoreplace, "");
    }
}

function losemouse () {
	callback_fn = function () { 
		CloseMenus ();	
	};
	self.setTimeout ('doExitCallBack()', 1);
}

function gainmouse () {
	callback_fn = function () { };
}

function CloseMenus(){ // close them all
    menustoclose = menusopened.split("|");
    for (i=1; i<menustoclose.length; i++){
	document.getElementById(menustoclose[i]).style.visibility="hidden";
    }
    menusopened = "";
}
*/