I do not get the same. HTTP_HOST gives the same server name as I typed in the Location box of my browser. It can be 'localhost' for example.
SERVER_NAME is the same everytime, hostname + domain, as it is registered in the machine's configuration.
--
tune