function switchLang() {
	(new Image()).src = '/core/lang.php';
	window.setTimeout('document.location.reload()', 1000);
}