var browser_type=navigator.appName
var browser_version=parseInt(navigator.appVersion)
// fix margins for IE
if (browser_type=="Microsoft Internet Explorer") {
  document.write("<style type=text/css>");
  document.write("body \{ margin-top: 8px\; margin-left: 8px\ \}");
  document.write("</style>");
}
stdBrowser = (document.getElementById) ? true : false
timer = "";
function show(currElem) {
  clearTimeout(timer);
  hideAll();
  popUpWin = (stdBrowser) ? document.getElementById(currElem).style : eval("document." + currElem);
  popUpWin.visibility = "visible";
  string = "hide('" + currElem + "')";
  timer = setTimeout(string,3000);
}
function hide(currElem) {
  popUpWin = (stdBrowser) ? document.getElementById(currElem).style : eval("document." + currElem);
  popUpWin.visibility = "hidden";
}
function reset(currElem) {
  clearTimeout(timer);
  string = "hide('" + currElem + "')";
  timer = setTimeout(string,3000);
}
function hideAll() {
  for (i=1; i<13; i++) { // change i<? to 1 + how many DIV's you have in your menu...
    mname = "menu" + i;
    mitem = (stdBrowser) ? document.getElementById(mname).style : eval("document." + mname);
    mitem.visibility = "hidden";
  }
}