<!--

nav1 = new Image();
nav1.src = "images/nav1_on.jpg";
nav2 = new Image();
nav2.src = "images/nav2_on.jpg";
nav3 = new Image();
nav3.src = "images/nav3_on.jpg";

// -->