<!--

nav1 = new Image();
nav1.src = "images/nav_over.gif";
nav2 = new Image();
nav2.src = "images/nav_over-02.gif";
nav3 = new Image();
nav3.src = "images/nav_over-03.gif";
nav4 = new Image();
nav4.src = "images/nav_over-04.gif";
nav5 = new Image();
nav5.src = "images/nav_over-05.gif";
nav6 = new Image();
nav6.src = "images/nav_over-06.gif";
nav7 = new Image();
nav7.src = "images/nav_over-07.gif";


// -->