function airport_dropdown() {
	var code = document.jump.airport_code.options[document.jump.airport_code.selectedIndex].value;
	window.location.href = (code) ? '/airport/' + code + '/' : '/';
}