function jump_menu(id)
	{
			var dropdownIndex = document.getElementById(id).selectedIndex;
			var dropdownValue = document.getElementById(id)[dropdownIndex].value;

			window.location.href=dropdownValue;

	}

		function clearValue(id)
	{
		document.getElementById(id).value='';	
	}
	
	function change_image(container, image, image_number)
	{
		$("#"+container).attr("src",image);
		$("#image_1").removeClass("imagePageOn");
		$("#image_2").removeClass("imagePageOn");
		$("#image_3").removeClass("imagePageOn");
		
		$("#image_"+image_number).addClass("imagePageOn");
		
	}