//VERY DUMB menu related functions :(

var timer, timer1, s0, clicked;

function Over() {
  clearTimeout(timer);
  clearTimeout(timer1);
}

function Clear(s, s1) {
  clearTimeout(timer1);
  if (s1 == s0) {
    clearTimeout(timer);
  }
  if (clicked) {
    Show(s, s1);
  }
}

function Show(s, s1) {
  var o = document.getElementById(s);
  o.style.display = 'block';
  s0 = s1;
  clicked = 1;
}

function Hide(s) {
  timer = setTimeout("RealHide('" + s + "')", 80);
  timer1 = setTimeout("clicked = 0", 80);
}

function RealHide(s) {
  var o = document.getElementById(s);
  o.style.display = 'none';
}