function setlang(lang)
{
	document.langform.lang.value=lang;
	document.langform.submit();
}