if (document.images) {

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

  homeOff = new Image();
  homeOff.src = "/images/nav/home.png"

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

  technologyOff = new Image();
  technologyOff.src = "/images/nav/technology.png"

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

  productsOff = new Image();
  productsOff.src = "/images/nav/products.png"

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

  applicationsOff = new Image();
  applicationsOff.src = "/images/nav/applications.png"

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

  partnersOff = new Image();
  partnersOff.src = "/images/nav/partners.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);
}