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

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

  }
}