function doSearch() {
	var searchTerm = document.getElementById('search_text');
	document.location = './mainpage.php?type=search&criteria=' + escape(searchTerm.value);
}