
<!-- // check if the browser is Navigator 3 or higher:
agent = navigator.userAgent;
browserVer = 2;

if (agent.substring(0,7) == "Mozilla"){ 
   if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
}

// preload universal images:
if (browserVer == 1) {
   images_b = new Image(133,34);
   images_b.src = "/images/main_nav_ourhistory.gif";
   images2_b = new Image(133,34);
   images2_b.src = "/images/main_nav_ourhistory_on.gif";

   images_c = new Image(133,44);
   images_c.src = "/images/main_nav_location.gif";
   images2_c = new Image(133,44);
   images2_c.src = "/images/main_nav_location_on.gif";

   images_d = new Image(133,47);
   images_d.src = "/images/main_tourinn.gif";
   images2_d = new Image(133,47);
   images2_d.src = "/images/main_tourinn_on.gif";
 
   images_e = new Image(133,60);
   images_e.src = "/images/main_awards.gif";
   images2_e = new Image(133,60);
   images2_e.src = "/images/main_awards_on.gif";

   images_h = new Image(133,57);
   images_h.src = "/images/main_amenities.gif";
   images2_h = new Image(133,57);
   images2_h.src = "/images/main_amenities_on.gif";

   images_f = new Image(133,31);
   images_f.src = "/images/main_contact.gif";
   images2_f = new Image(133,31);
   images2_f.src = "/images/main_contact_on.gif";

   images_g = new Image(65,19);
   images_g.src = "/images/clickhere.gif";
   images2_g = new Image(65,19);
   images2_g.src = "/images/clickhere_on.gif";

   images_p = new Image(65,19);
   images_p.src = "/images/main_places3.gif";
   images2_p = new Image(65,19);
   images2_p.src = "/images/main_places3_on.gif";
}

function hiLite(imagesDocID,imagesObjName) {
// manages mouseOver animations
//   imagesDocID - the name or number of the document image to be replaced
//   imagesObjName - the name of the image object to be swapped in
   if (browserVer == 1) {
      document.images[imagesDocID].src = eval(imagesObjName + ".src")
   }
}

function validEmail(email){
   // This function checks for a valid email address
   var tmp = email.value;
   var emailexp = /^([a-z_0-9]+\.?)*[a-z_0-9]+@([a-z_0-9]+\.)+[a-z]{2,3}$/i;
      
   if (tmp!=""){
       // Something was passed in, check it!	 
       if (tmp.match(emailexp)){
          return true;
       }
       else{
          // No good!
		  alert("Please enter a valid email address!"); 
          return false;
       }
    }
	else{
        // No good!
		alert("Please enter a valid email address!"); 
        return false;
    }	
}