<!--
var image1 = new Image();
image1.src = "./images/nav_01_over.gif";
var image2 = new Image();
image2.src = "./images/nav_02_over.gif";
var image3 = new Image();
image3.src = "./images/nav_03_over.gif";
var image4 = new Image();
image4.src = "./images/nav_04_over.gif";
var image5 = new Image();
image5.src = "./images/nav_05_over.gif";
var image6 = new Image();
image6.src = "./images/nav_06_over.gif";
var image7 = new Image();
image7.src = "./images/nav_07_over.gif";
//-->