//if(!isset($_SERVER["HTTPS"])) { // header('Location: https://'.$_SERVER["HTTP_HOST"].$_SERVER['REQUEST_URI']); //} ?>