function mouseover(td) {
  td.className = "navButtonHigh";
}
function mouseout(td) {
  td.className = "navButton";
}