// JavaScript Document

function searchHotels()
{
	var stars = document.f4.stars.options[document.f4.stars.selectedIndex].value;
	var hotel_type = document.f4.hotel_type.options[document.f4.hotel_type.selectedIndex].value;
	var field_vals=document.f4.txtKeyword1.value.replace(/[ ]/g, "");
	var bSubmit = 0

	if (field_vals.length>= 3  || stars.length>0 || hotel_type.length>0)
	{
		document.f4.submit();
		bSubmit = 1
		return (true);
		
	}
	else
	{
		alert( "====== Dubai Marina Guide ====== \n\nPlease enter a search Keyword or select a Star or Hotel Type \n\n")
		return false;
	}
}