function over(id) {
  setClassName("nav", "show-"+id);
}

function out(id) {
  setClassName("nav", "show-none");
}

function setClassName(id, name) {
  if (document.getElementById(id) != null) {
    document.getElementById(id).className = name;
  }
}