// JavaScript Document
var shown = false;
var hideTimeout = false;
function doHideMenu(id) {
  document.getElementById(id).style.visibility = 'hidden';
  if (standard) {
    document.getElementById(standard).style.visibility = 'visible';
	shown = standard;
	}
  else
    shown = id;
  return true;
  }
function showMenu(id) {
  window.clearTimeout(hideTimeout);
  if (shown) {
    document.getElementById(shown).style.visibility = 'hidden';
    }
  if (standard) {
    document.getElementById(standard).style.visibility = 'hidden';
    }
  document.getElementById(id).style.visibility = 'visible';
  shown = id;
  return true;
  }
function hideMenu(id) {
  hideTimeout = window.setTimeout("doHideMenu('" + id + "');", 1000);
  return true;
  }