function changeLanguage(f) {
	if (f.lang.options[f.lang.selectedIndex].value!='') f.submit();
}