<? if ((!$_SERVER[$PHP_AUTH_USER]) || (!$_SERVER[$PHP_AUTH_PW])) { ?>
<? if ((!$_SERVER["PHP_AUTH_USER"]) || (!$_SERVER["PHP_AUTH_PW"])) { ?>