// adapted from http://www.w3schools.com/PHP/php_ajax_database.asp

var xmlhttp;

function postTerm(str) {
	xmlhttp = GetXmlHttpObject();
	if (xmlhttp == null) {
		alert ("Browser does not support HTTP Request");
  		return;
	}

	var url = "/icons/matcher/ajax-post.php";
	url = url + "?q=" + str;
	xmlhttp.onreadystatechange = stateChanged;
	xmlhttp.open("GET", url, true);
	xmlhttp.send(null);
}

function stateChanged() {
	if (xmlhttp.readyState == 4) {
		document.getElementById("suggest").innerHTML = xmlhttp.responseText;
	}
}

function GetXmlHttpObject() {
	if (window.XMLHttpRequest) {
		// code for IE7+, Firefox, Chrome, Opera, Safari
		return new XMLHttpRequest();
	}
	if (window.ActiveXObject) {
		// code for IE6, IE5
		return new ActiveXObject("Microsoft.XMLHTTP");
	}
	return null;
}