function changeLang(selectedLang)
{
	document.getElementById("lang").value = selectedLang ;
}