function clear_search(clear_value)
{
	if(document.nav.search.value == clear_value)
		document.nav.search.value='';
}

function goto_page(url)
{
	window.location.href = url;
}