function htOut(xId) {
  document.getElementById(xId).className="nav"
}
function htOvr(xId) {
  document.getElementById(xId).className="nav-o"
}
function htDwn(xId) {
  document.getElementById(xId).className="nav-d"
}