function setRegion() {
	$('nav-form').action="results.php";
	$('nav-form').submit();
	$('pub-text').value="";
	$('postcode-text').value="";
	
}
function setPostcode() {
	$('region').value="0";
	$('pub-text').value="";
}
function setPub() {
	$('region').value="0";
	$('postcode-text').value="";
}
function checkForm() {
	if ($F('pub-text')=="" && $F('postcode-text')=="" && $F('region')=="0") return false;
	if($F('postcode-text')!="") $('nav-form').action="map.php";
	else $('nav-form').action="results.php";
	return true;
}