$x = $_SERVER["HTTP_USER_AGENT"]; echo "HTTP_USER_AGENT = $x
"; ?>