<?php echo gethostbyname($_SERVER['HTTP_HOST']); ?>