function switch_lang(temp_lang)
{
	document.getElementById("input_lang").value=temp_lang;
	document.getElementById("lang_form").submit();
}