if (document.images) {

  // new button
  reverseOn = new Image();
  reverseOn.src = "/images/nav/reverse-ro.png"

  reverseOff = new Image();
  reverseOff.src = "/images/nav/reverse.png"

  // new button
  forwardOn = new Image();
  forwardOn.src = "/images/nav/forward-ro.png"

  forwardOff = new Image();
  forwardOff.src = "/images/nav/forward.png"

  // new button
  indexOn = new Image();
  indexOn.src = "/images/nav/index-ro.png"

  indexOff = new Image();
  indexOff.src = "/images/nav/index.png"

  // new button
  statementOn = new Image();
  statementOn.src = "/images/nav/statement-ro.png"

  statementOff = new Image();
  statementOff.src = "/images/nav/statement.png"

  // new button
  view_worksOn = new Image();
  view_worksOn.src = "/images/nav/view_works-ro.png"

  view_worksOff = new Image();
  view_worksOff.src = "/images/nav/view_works.png"

}

function changeImages() {
  // link syntax:
  // <a href="/xxx.php" onMouseOver="changeImages('xxx', 'xxxOn')" onMouseOut="changeImages('xxx', 'xxxOff')"><img src="/images/nav/xxx.png" alt="xxx" name="xxx" id="xxx" width="164" height="36" /></a>
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document.images[changeImages.arguments[i]].src = window[changeImages.arguments[i+1]].src;
    }
  }
}

function openNewWindow(theURL,winName,features) {
  window.open(theURL,winName,features);
}