if (!window.path) {
    path = "./";
  }
  if (!window.prefix) {
    prefix = "int_";
  }
  btn = new Array();
  btnlabel = new Array();
  btn['h'] = new Image();
  btn['h'].src = path + "images/home_buttonh_on.gif";
  btnlabel['h'] = new Image();
  btnlabel['h'].src = path + "images/" + prefix + "labelh.gif";
  for (i = 0; i < 8; i++) {
    btn[i] = new Image();
    btn[i].src = path + "images/home_button" + i + "_on.gif";
    btnlabel[i] = new Image();
    btnlabel[i].src = path + "images/" + prefix + "label" + i + ".gif";
  }
  
  function toggle(n, on) {
    document.images["button" + n].src = on ? btn[n].src : path + "images/home_button_off.gif";
    if (on && document.images["label"]) {
      document.images["label"].src = btnlabel[n].src;
    }
  }


  menustat = 1;
  function homemenu() {
    var m = document.getElementById("menu");
    if (menustat) {
	  m.style.visibility = "visible";
	  show();
	}
	else {
	  m.style.visibility = "hidden";
    }
    menustat = (menustat + 1) % 2;
  }
  
  function show() {
    timerID = setTimeout("showMenu()", 500);
  }
  
  function hide() {
  }
  
  function showMenu() {
    var m = document.getElementById("menu");
	t = parseInt(m.style.top);
	if (t < 14) {
	  t = (14 - t) / 2;
	  m.style.top = t;
	  timerID = setTimeout("showMenu()", 500);
	}
  }

  function hideMenu() {
    var m = document.getElementById("menu");
  }