function changelang(lang) {
	document.getElementById('sl').value = lang;
	return true;
}