// JavaScript Document
function doQuickJump(form)
{
    var sel = document.getElementById("hotelJump");
	document.forms['quickJump'].action=sel.options[sel.selectedIndex].value+".php";
	document.forms['quickJump'].submit(form);
	return true;
}