function localeSwitcher() {

	window.location.href=document.switcher.locale.options[document.switcher.locale.selectedIndex].value;

}