"; echo $_SERVER['HTTP_USER_AGENT']; echo "

"; echo $_SERVER['SERVER_ADDR']; echo "

"; echo $_SERVER['SERVER_NAME']; ?>

'; } ?>