var activeMenu = '';

function showMenu(name)
{
  if (hideMenuName == name)
  {
    clearTimeout(hideInterval);
    hideMenuName = '';
  }
  
  if (activeMenu != '' && activeMenu != name)
  {
    clearTimeout(hideInterval);
    var wait = reallyHideMenu(activeMenu);
  }
  
  wait = wait + 1;
  
  var menu = document.getElementById(name);
  
  menu.style.display = 'block';
  menu.style.visibility = 'visible';
  
  activeMenu = name;
}

var hideInterval;
var hideMenuName = '';

function hideMenu(name)
{
  hideMenuName = name;
  hideInterval = setTimeout("reallyHideMenu('" + name + "');", 500);
}

function reallyHideMenu(name)
{
  var menu = document.getElementById(name);
  
  menu.style.display = 'none';
  menu.style.visibility = 'hidden';
  
  activeMenu = '';
  hideMenuName = '';
  
  return 0;
}