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 switch_image(id, state)
	{
		
		$("#arrow_" + id).attr("src", "images/arrow_" + state + ".gif");
	}