// JavaScript Document


<!--
if (document.images)
{
  pic1= new Image(175,29); 
  pic1.src="images/attraction2.jpg"; 

  pic2= new Image(175,29); 
  pic2.src="images/attraction2.jpg"; 

  pic3= new Image(175,29); 
  pic3.src="images/clubs2.jpg"; 
  
  pic4= new Image(175,29); 
  pic4.src="images/hotel2.jpg"; 
  
  pic5= new Image(175,29); 
  pic5.src="images/neighborhoods2.jpg"; 
  
  pic6= new Image(175,29); 
  pic6.src="images/restaurant2.jpg"; 
  
  pic7= new Image(175,29); 
  pic7.src="images/shopping2.jpg"; 
  
  pic8= new Image(175,29); 
  pic8.src="images/spa2.jpg"; 
  
  pic9= new Image(175,29); 
  pic9.src="images/sponsors2.jpg"; 
  
  pic10= new Image(175,29); 
  pic10.src="images/sport2.jpg"; 
  
  
}
//-->