function setlang(lang1)
{
	window.location = "lang_txt?lang="+lang1;
}