if( document.images ) { //check that changing images is supported
 var overPage0 = new Image(); overPage0.src = "./images/navlink0b.png";
 var outPage0 = new Image(); outPage0.src = "./images/navlink0a.png";
 var overPage1 = new Image(); overPage1.src = "./images/navlink1b.png";
 var outPage1 = new Image(); outPage1.src = "./images/navlink1a.png";
 var overPage2 = new Image(); overPage2.src = "./images/navlink2b.png";
 var outPage2 = new Image(); outPage2.src = "./images/navlink2a.png";
 var overPage3 = new Image(); overPage3.src = "./images/navlink3b.png";
 var outPage3 = new Image(); outPage3.src = "./images/navlink3a.png";
 var overPage7 = new Image(); overPage7.src = "./images/navlink7b.png";
 var outPage7 = new Image(); outPage7.src = "./images/navlink7a.png";
 var overPage9 = new Image(); overPage9.src = "./images/navlink9b.png";
 var outPage9 = new Image(); outPage9.src = "./images/navlink9a.png";
}