function hint(term) {
    getData("/suggest.php?term="+term,"suggest");
    document.getElementById("suggest").style.display = "block";
}

function searchInsert(term) {
    document.getElementById("search").value = trim(term);
    document.getElementById("suggest").style.display = "none";
}

function trim(stringToTrim) {
	return stringToTrim.replace(/^\s+|\s+$/g,"");
}

function checkForm() {
	var searchTerm = document.getElementById('search');
	if (search) {
		if (search.value.length == 0) {alert("Please provide a search term"); return false;}		
	}
	return true;
}