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

// Dummy - remove when old style goes

function locateSearch ()
{
}