if (!isset($_SERVER['HTTPS']) || $_SERVER['HTTPS'] == '') { header('Location: https://'.$_SERVER['HTTP_HOST'].$_SERVER['PHP_SELF']); } header('Content-Type: text/html; charset=iso-8859-1'); ?>