function change_lang(lang) {
	document.change_lang_form.lang.value = lang;
	document.change_lang_form.submit();
}