<!-- 
// preload images
   i1_of = new Image; i1_of.src = "img/nav_a/menu_1.gif";
   i1_ov = new Image; i1_ov.src = "img/nav_a/menu_ovr_1.gif";
   i2_of = new Image; i2_of.src = "img/nav_a/menu_2.gif";
   i2_ov = new Image; i2_ov.src = "img/nav_a/menu_ovr_2.gif";
   i3_of = new Image; i3_of.src = "img/nav_a/menu_3.gif";
   i3_ov = new Image; i3_ov.src = "img/nav_a/menu_ovr_3.gif";

// swap images functions

   function SwapIn(tmpImageName) {
	eval("document." + tmpImageName + ".src=" + tmpImageName + "_ov.src")
   }

   function SwapOut(tmpImageName) {
	eval("document." + tmpImageName + ".src=" + tmpImageName + "_of.src")
   }
//-->