// JavaScript Document
function change(buttonid,picture){
document.getElementById(buttonid).style.backgroundImage=picture
}

//Image Preload
if (document.images)
{
  pic1= new Image(100,55); 
  pic1.src="images/button1over.jpg"; 

 pic2= new Image(100,55); 
  pic2.src="images/button2over.jpg"; 
  
   pic3= new Image(100,55); 
  pic3.src="images/button3over.jpg"; 
  
   pic4= new Image(100,55); 
  pic4.src="images/button4over.jpg"; 
  
   pic5= new Image(100,55); 
  pic5.src="images/button5over.jpg"; 
  
   pic6= new Image(100,55); 
  pic6.src="images/button6over.jpg"; 
  
   pic7= new Image(100,55); 
  pic7.src="images/intbuttonover.jpg"; 

	pic8= new Image (100,55);
	pic8.src="images/intbutton.jpg";
}