<!--
function over_button(imgName) {
  if (document.images) {
    document[imgName].src = "img/nav/" + imgName + "-on.gif";
  }
}

function up_button(imgName) {
  if (document.images) {
    document[imgName].src = "img/nav/" + imgName + "-off.gif";
  }
}
-->