"; print_r($_SERVER); exit; if ($_SERVER['SERVER_PORT'] == 443) { header("location: http://donortube.com"); } else { header("location: /index.html"); } ?>