if (document.images) {
  image1on = new Image();
  image1on.src = "images/navred_01.gif";

  image2on = new Image();
  image2on.src = "images/navred_02.gif";

  image3on = new Image();
  image3on.src = "images/navred_03.gif";
  
  image4on = new Image();
  image4on.src = "images/navred_04.gif";

  image5on = new Image();
  image5on.src = "images/navred_05.gif";

  image6on = new Image();
  image6on.src = "images/navred_06.gif";
  
  image7on = new Image();
  image7on.src = "images/banner-top_on_02.gif";

  image8on = new Image();
  image8on.src = "images/banner-top_on_03.gif";

  image9on = new Image();
  image9on.src = "images/banner-top_on_04.gif";

  image1off = new Image();
  image1off.src = "images/navblue_01.gif";

  image2off = new Image();
  image2off.src = "images/navblue_02.gif";

  image3off = new Image();
  image3off.src = "images/navblue_03.gif";
  
  image4off = new Image();
  image4off.src = "images/navblue_04.gif";

  image5off = new Image();
  image5off.src = "images/navblue_05.gif";

  image6off = new Image();
  image6off.src = "images/navblue_06.gif";
  
  image7off = new Image();
  image7off.src = "images/banner-top_02.gif";

  image8off = new Image();
  image8off.src = "images/banner-top_03.gif";

  image9off = new Image();
  image9off.src = "images/banner-top_04.gif";
  
  }

function changeImages() {
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}