how to get the header value, if we don't know the value because the value is random from the server

PHP Snippet 1:

$value = $_SERVER['HTTP_ALPHABET'];
//notice the pattern and the conversion to uppercase $_SERVER['HTTP_XXXXXX_XXXX'];