function menuover(listEntry) {
  if (document.all&&document.getElementById) {
    listEntry.className ="over";
  }
}

function menuout(listEntry) {
  if (document.all&&document.getElementById) {
    listEntry.className ="nix";
  }
}