// declare and assign names to the regular images
		var home = new Image(152,22);
		home.src = "img/nav/SHA-home-cold.gif";
		var attractions = new Image(152,22);
		attractions.src = "img/nav/SHA-attract-cold.gif";
		var loc = new Image(152,22);
		loc.src = "img/nav/SHA-locat-cold.gif";
		var brochure = new Image(152,22);
		brochure.src = "img/nav/SHA-broch-cold.gif";
		var media = new Image(152,22);
		media.src = "img/nav/SHA-media-cold.gif";
		var special = new Image(152,22);
		special.src = "img/nav/SHA-special-cold.gif";
		var tenn = new Image(152,34);
		tenn.src = "img/nav/SHA-GA-TN-cold.gif";
		var virginia = new Image(152,22);
		virginia.src = "img/nav/SHA-VA-cold.gif";
		var carolina = new Image(152,22);
		carolina.src = "img/nav/SHA-NC-cold.gif";
		
 function changeImage(imgName, newSource){

	// change the source of the particular image to the 
	// mouseover source
	document.images[imgName].src = newSource;

	// return from the function
	return false;

} // end the function changeImage()