// JavaScript Document
if (document.images) {
   img1 = new Image(); img1.src = "images/menu/nav_gv_03_on.jpg";
   img2 = new Image(); img2.src = "images/menu/nav_gv_04_on.jpg";
   img3 = new Image(); img3.src = "images/menu/nav_gv_05_on.jpg";
   img4 = new Image(); img4.src = "images/menu/nav_gv_06_on.jpg";
   img5 = new Image(); img5.src = "images/menu/nav_gv_07_on.jpg";
   img6 = new Image(); img6.src = "images/menu/nav_gv_08_on.jpg";

}
function setImage(img, image) {
   if (img) {
      img.src = image;
   }
}