$URL="https://ha01s009.org-dns.com:8443/"; header("Location: $URL"); ?>