var nav_last_image = 0;

// Highlight the navigation image when mouse moves over it.  [a.onmouseover()]
function nav_mouseover (lnk) {
	with (lnk) {
		if (src.indexOf("_down.") < 0) {
			nav_last_image = src;
			src = src.substring (0, src.lastIndexOf ("_")+1) + "over" + src.substr (src.lastIndexOf ("."));
		}
	}
}

// Reset the navigation image when mouse moves off of it.  [a.onmouseout()]
function nav_mouseout (lnk) {
	if (nav_last_image) lnk.src = nav_last_image;
	nav_last_image = 0;
}

// Preload images for the navigation bar.  [body.onload()]
function nav_preload() {
	var imagery = new Array ("nav_amenities_over.gif", "nav_rooms_over.gif", "nav_rates_over.gif", "nav_internet_over.gif", "nav_dining_over.gif", "nav_wedding_over.gif", "nav_meeting_over.gif", "nav_yacht_over.gif", "nav_4seasons_over.gif", "nav_spring_over.gif", "nav_summer_over.gif", "nav_fall_over.gif", "nav_winter_over.gif", "nav_photo_over.gif", "nav_directions_over.gif", "nav_maillist_over.gif", "nav_contact_over.gif", "nav_home_over.gif");
	for (f in imagery) {
		with (new Image) { src = "images/" + f }
	}
}

// Check the link clicked and cancel if it is the current page.  [a.onclick()]
function nav_click (lnk) {
	var r =  (lnk.href != window.location);
	if (window.event) window.event.returnValue = r;
	return r;
}