//****************************************************************
// DROPDOWN HOTELAUSWAHL
//****************************************************************  
  
function QuickJump(dropdown)
{
	var Element = dropdown.hotel_menue.selectedIndex;
	if (dropdown.hotel_menue.options[Element].value != 0) 
	{
		location = dropdown.hotel_menue.options[Element].value;
	}	
}
//****************************************************************