function change_language(lang)
{
	document.getElementById('language').value=lang;
	document.langform.submit();
}