function set_lang(lang) {
	var manager = new CookieManager();
	manager.setCookie("set_lang", lang);
}