<!--
kryj = 0; id = 0;
function menu(element) {
  i = 1; kryj = 1;
  while (e = document.getElementById("m" + i++))
    e.style.visibility = "hidden";
  document.getElementById(element).style.visibility = "visible";
}

function koniec() {
  clearTimeout(id);
  kryj=0; id = setTimeout(ukryj, 500)
}

function ukryj() {
  if (kryj==0) {
    i = 1;
    while (e = document.getElementById("m" + i++))
      e.style.visibility = "hidden";
  }
}
// -->