if (isset($_GET["lang"])) $_SESSION["lang"] = $_GET["lang"]; if ($_ENV["REQUEST_URI"] == "/") header ("Location: /?lang=".$_SESSION["lang"]); ?>