1 July 29, 2010echo $_SERVER['HTTP_USER_AGENT']