chooseCode("", "", $_SERVER['HTTP_ACCEPT_LANGUAGE']); mirror_redirect("/releases/8.3/$lang.php");