function redirect(){
	var page=document.destinations.dest.value;
	document.location.href=page;
}

function redirectDistrict(){
	var page=document.destinations.dist.value;
	document.location.href=page;
}