User Agent
Normally the HTTP header and the JavaScript value of the user agent should match, but if you're some l33t h4xx0r (or you're using certain extensions), they may differ.
This page provides both values, because... well, why not?
User-Agent
HTTP header.
navigator.userAgent
global value.