function setRegion(){
	$r = document.getElementById('region');
	if (!$r) return;
	document.location.href = $r.value;
}