function setTheme(theme){
	Ajax.setTheme(theme,setThemeHandler);
}

function setThemeHandler(result){
	document.location=document.location;
}

function selectLanguage(lang){
	  Ajax.selectLanguage(lang,selectLanguageHandler);
	}

	function selectLanguageHandler(result){
	   document.location=document.location;
	}