var activeID = "";
var alertTimerID = 0;
function showMenu(p)
{
  if (activeID)
      hideMenu();
  activeID = p;
  document.getElementById(p).style.display = "block";
}
function hideMenu()
{
  if (document.getElementById(activeID))
    document.getElementById(activeID).style.display = "none";
}
function activateTimer(){
    alertTimerID = setTimeout('hideMenu()', 500);
}
function resetTimer(){
    clearTimeout(alertTimerID);
}
function jump(){
    if (location.hash != '#jump') location.hash = '#jump';
}