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

			window.location.href=dropdownValue;

	}