$value) if (substr($name, 0, 5) === 'HTTP_') echo "\n";
".htmlentities($name)."".htmlentities($value)."