function ajxSearchProps(){	var ajaxRequest;  // The variable that makes Ajax possible!		try{		// Opera 8.0+, Firefox, Safari		ajaxRequest = new XMLHttpRequest();	} catch (e){		// Internet Explorer Browsers		try{			ajaxRequest = new ActiveXObject("Msxml2.XMLHTTP");		} catch (e) {			try{				ajaxRequest = new ActiveXObject("Microsoft.XMLHTTP");			} catch (e){				// Something went wrong				alert("Your browser broke!");				return false;			}		}	}		// Create a function that will receive data sent from the server	ajaxRequest.onreadystatechange = function(){		if(ajaxRequest.readyState == 4){			var ajaxDisplay = document.getElementById('recsfound');			ajaxDisplay.innerHTML = ajaxRequest.responseText;		}	}	var mnp = document.getElementById('minprice').value;
	var mxp = document.getElementById('maxprice').value;
	var bed = document.getElementById('bedrooms').value;
	var bse = document.getElementById('basearea').value;
	var sar = document.getElementById('specareas').value;
	var rpp = document.getElementById('rpp').value;
	var srt = document.getElementById('srtordr').value;
	var pge = document.getElementById('pgenmb').value;
	
	var randomnumber = Math.floor(Math.random()*1000001);
	var queryString = "?mnp=" + mnp + "&mxp=" + mxp + "&bed=" + bed + "&bse=" + bse + "&sar=" + sar + "&rpp=" + rpp + "&srt=" + srt + "&pge=" + pge + "&dmy=" + randomnumber;	ajaxRequest.open("GET", "searchmatches.php" + queryString, true);	ajaxRequest.send(null); 

}