curl的有关问题

curl的问题
$user_agent = "Mozilla/5.0 (Windows NT 5.1; rv:13.0) Gecko/20100101 Firefox/13.0.1";
curl_setopt($ci, CURLOPT_USERAGENT, $user_agent);


为什么我在IE浏览器里面获取
echo $_SERVER['HTTP_USER_AGENT'];
的时候不是上面设置的呢？

------解决方案--------------------
Firefox 浏览器嘛