function regform() {
	location.href = "/regform.php";
}
function search(s) {
	location.href = "/search.php?s=" + s;
}
function logout() {
	location.href = "/logout.php";
}