function change_region() {

	//alert (document.menu.region.selectedIndex)
	//alert (document.menu.region_selector.options[document.menu.region_selector.selectedIndex].value)
	document.location.href = "switch_region.php?region=" + document.menu.region_selector.options[document.menu.region_selector.selectedIndex].value


}