if (document.images) {
<!--
  pic1 = new Image(760,308); 
  pic1.src ="/img/historyTop.png";
  pic2 = new Image(760,308); 
  pic2.src ="/img/accomodationsTop.png";
  pic3 = new Image(760,308); 
  pic3.src ="/img/amenitiesTop.png";
  pic4 = new Image(760,308); 
  pic4.src ="/img/reservationsTop.png";
  pic5 = new Image(760,308); 
  pic5.src ="/img/eventsTop.png";
  pic6 = new Image(760,308); 
  pic6.src ="/img/contactTop.png";
}
//-->