function search(e) {
	if (e == undefined || e.keyCode==13)
		location.href = "/Search-results.html?q=" + escape(document.getElementById('searchText').value);
}