<?
print($_SERVER["SERVER_NAME"]);
?>