if (document.images)
{
  pic1= new Image(100,25); 
  pic1.src="pix/web1.gif"; 

  pic2= new Image(240,55); 
  pic2.src="pix/web2.gif"; 

  pic3= new Image(88,31); 
  pic3.src="pix/web3.gif"; 
  
}