function setLangPref(lang) {
	document.cookie='lang=' + escape(lang) + "; path=/";
}