if (document.images) {

image1 = new Image
image1.src = "images/nav1.jpg"
image1ov = new Image
image1ov.src = "images/nav1ov.jpg"

image2 = new Image
image2.src = "images/nav2.jpg"
image2ov = new Image
image2ov.src = "images/nav2ov.jpg"

image3 = new Image
image3.src = "images/nav3.jpg"
image3ov = new Image
image3ov.src = "images/nav3ov.jpg"


image4 = new Image
image4.src = "images/nav4.jpg"
image4ov = new Image
image4ov.src = "images/nav4ov.jpg"

imageb = new Image
imageb.src = "images/infoleft.jpg"
imagebov = new Image
imagebov.src = "images/infoleftov.jpg"


}