if (document.images) {
     button1 = new Image
     button2 = new Image
	 
     button1.src = 'library/home.gif'
     button2.src = 'library/home2.gif'
	 
 
 
	button3 = new Image
     button4 = new Image
	 button3.src = 'library/what.gif'
     button4.src = 'library/what2.gif'
	 
	 button5 = new Image
     button6 = new Image
	 button5.src = 'library/how.gif'
     button6.src = 'library/how2.gif'
	 
	 button7 = new Image
     button8 = new Image	 
	 button7.src = 'library/contact.gif'
     button8.src = 'library/contact2.gif'
 }
//-->