//onmouseover function
function changeImage(original, image_name){
		original.src = image_name;
	}
	
function resetImage(original, image_name){
	  original.src = image_name;
	}
//dropdown navigation menu
function jumpTo(optionObj) 
{
	window.location.href = optionObj.options[optionObj.selectedIndex].value;
}