if (document.images) {
                nav0On = new Image();
                nav0On.src = "images/aboutovr.gif";
                nav1On = new Image();
                nav1On.src = "images/servovr.gif";
                nav2On = new Image();
                nav2On.src = "images/portovr.gif";
                nav3On = new Image();
                nav3On.src = "images/suppovr.gif";
                nav4On = new Image();
                nav4On.src = "images/quickovr.gif";
                nav5On = new Image();
                nav5On.src = "images/homeovr.gif";
                nav6On = new Image();
                nav6On.src = "images/tourover.gif";
                nav7On = new Image();
                nav7On.src = "images/restrictedOVR.gif";
                nav8On = new Image();
                nav8On.src = "images/emailOVR.gif";
                nav0Off = new Image();
                nav0Off.src = "images/aboutoff.gif";
                nav1Off = new Image();
                nav1Off.src = "images/servoff.gif";
                nav2Off = new Image();
                nav2Off.src = "images/portoff.gif";
                nav3Off = new Image();
                nav3Off.src = "images/suppoff.gif"; 
                nav4Off = new Image();
                nav4Off.src = "images/quickoff.gif"; 
                nav5Off = new Image();
                nav5Off.src = "images/homeoff.gif"; 
                nav6Off = new Image();
                nav6Off.src = "images/touroff.gif"; 
                nav7Off = new Image();
                nav7Off.src = "images/restrictedOFF.gif"; 
                nav8Off = new Image();
                nav8Off.src = "images/emailOFF.gif"; 
                                                }
        function hiLite(imgDocID,imgObjName) {
        if (document.images) 
                        document.images[imgDocID].src = eval(imgObjName + ".src")
                }