function execSearch() {
	location.href = "/search.php?s=" + encodeURIComponent(document.getElementById("search").value);
}

function keyDown(ev) {
	if (!ev) ev = window.event;
	if (ev.keyCode == 13) execSearch();
}