var timeCounter = 0;
/*
 * hide all but the given submenu
 */
function showSubMenu (n) {
  for (i=1; i<=mainMenu; i++) {
    // MSIE, Opera, Mozilla, Netscape V 7.0
    if (document.getElementById) {
      var j = "item"+i;
      document.getElementById(j).style.visibility = (i==n) ? "visible" : "hidden";
    }
    // Netscape V 4.x
    else if (document.layers) {
      var menuitem = eval("document.item"+i);
      menuitem.visibility = (i==n) ? "visible" : "hidden";
    }
  }
  // reset countdown, if menu is entered
  if (n != 0) {
    timeCounter++; flip = 1;
    window.setTimeout(hid,1500);
  }
}

/*
 * check if timeout occurs and hide all submenus
 */
function hid() {
  timeCounter--;
  if (timeCounter == 0) {
    showSubMenu(0);
  }
}

function mOver(a) {
  changeGif(a,0);
}
function mOut(a) {
  changeGif(a,1);
}

/*
 * change gif on entered submenu-Item
 */
function changeGif (gif, out) {
  var lay = eval ("document.item"+sub[gif].name.substr(1,1));
  if (out==1) {
    window.setTimeout(hid,500);
    // MSIE, Opera, Mozilla, Netscape V 7.0
    if (document.getElementById) {
      document.images[sub[gif].name].src = sub[gif].out.src;
    }
    // Netscape V 4.x
    else if (document.layers) {
      lay.document.images[sub[gif].name].src = sub[gif].out.src;
    }
  }
  else {
    timeCounter++;
    // MSIE, Opera, Mozilla, Netscape V 7.0
    if (document.getElementById) {
      document.images[sub[gif].name].src = sub[gif].over.src;
    }
    // Netscape V 4.x
    else if (document.layers) {
      lay.document.images[sub[gif].name].src = sub[gif].over.src;
    }
  }
}

/*
 * add new submenu to list of all submenus
 */
function addSubMenu (objekt) {
  sub[sub.length] = objekt;
}

/*
 * create new submenu-item
 */
function subMenu (gif_out, gif_over, name) {
  this.out = gif_out;
  this.over = gif_over;
  this.name = name;
  addSubMenu (this);
}

function setMail(object, account, domain) {
	object.href = 'mailto:' + account + '@' + domain;
}
