if (document.images) {
     button1 = new Image
     button2 = new Image
	 
     button1.src = 'library/homebutton.gif'
     button2.src = 'library/homebutton_f2.gif'
	 
 
 
	button3 = new Image
     button4 = new Image
	 button3.src = 'library/profilebutton.gif'
     button4.src = 'library/profilebutton_f2.gif'
	 
	 button5 = new Image
     button6 = new Image
	 button5.src = 'library/linksbutton.gif'
     button6.src = 'library/linksbutton_f2.gif'
	 
	 button7 = new Image
     button8 = new Image	 
	 button7.src = 'library/contactbutton.gif'
     button8.src = 'library/contactbutton_f2.gif'
 }
//-->