function changeLanguage(lang){
		window.location = '/cgi-bin/app/submit_changelang.pl?language=' + lang + '&goback=' + escape(window.location);
	}