if (document.images) {
   
     button1 = new Image
     button2 = new Image
	 
     button3 = new Image
     button4 = new Image
	 
     button5 = new Image
     button6 = new Image
	 
     button7 = new Image
     button8 = new Image
	 
	 
	 	 
     button1.src = 'images/home.gif'
     button2.src = 'images/home-hvr.gif'
	 
	 button3.src = 'images/philosophy.gif'
     button4.src = 'images/philosophy-hvr.gif'
	 
     button5.src = 'images/gallery.gif'
     button6.src = 'images/gallery-hvr.gif'
	 
     button7.src = 'images/contact.gif'
     button8.src = 'images/contact-hvr.gif'
 }