function mouseNavOver(control) {
  document.getElementById(control.id).src = "images/nav/" + control.id + "1.gif";
}
function mouseNavOut(control) {
  document.getElementById(control.id).src = "images/nav/" + control.id + ".gif";
}