button1= new Image();
button1.src = "nav2.gif"
button2= new Image();
button2.src = "nav2over.gif"
button3= new Image();
button3.src = "nav3.gif"
button4= new Image();
button4.src = "nav3over.gif"
button5= new Image();
button5.src = "nav4.gif"
button6= new Image();
button6.src = "nav4over.gif"
button7= new Image();
button7.src = "nav5.gif"
button8= new Image();
button8.src = "nav5over.gif"
button9= new Image();
button9.src = "nav6.gif"
button10.src= new Image();
button10.src = "nav6over.gif"