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='';	
	}