if (document.images) {
   
     button1 = new Image
     button2 = new Image
	 
	 
	 	 
     button1.src = 'images/portal.jpg'
     button2.src = 'images/portal-hvr.jpg'
 }