if (document.images)
{
  pic1= new Image(100,25); 
  pic1.src="./images/home-hot.jpg"; 
  pic1= new Image(100,25); 
  pic1.src="./images/portfolio-hot.jpg"; 
  pic1= new Image(100,25); 
  pic1.src="./images/faq-hot.jpg"; 
  pic1= new Image(100,25); 
  pic1.src="./images/contact-hot.jpg"; 
  pic1= new Image(100,25); 
  pic1.src="./images/history-hot.jpg"; 
}