$_SERVER["HTTPS"]="on";
$_SERVER["SERVER_PORT"]=443;