// Clears edit box after user clicks on it
function ClearElement(elem) {
	elem.value = "";
}

function HighlightSearchbox(searchdiv) {
	searchdiv.className += " highlightsearchresult";
}

function ClearSearchbox(searchdiv) {
	searchdiv.className = "searchresult";
}