// JavaScript Document
<!--
image1 = new Image();
image1.src = "images/nav_home_1.gif";
image2 = new Image();
image2.src = "images/nav_services_1.gif";
image3 = new Image();
image3.src = "images/nav_village_1.gif";
image4 = new Image();
image4.src = "images/nav_amenities_1.gif";
image5 = new Image();
image5.src = "images/nav_residences_1.gif";
image6 = new Image();
image6.src = "images/nav_ownership_1.gif";
image7 = new Image();
image7.src = "images/nav_team_1.gif";
image8 = new Image();
image8.src = "images/nav_reservations_1.gif";

-->