That's the result DOM source. Try doing a lynx or curl on the site. The entire statement is served through filling a cookie with JavaScript and reloading the site.
You're right. Firefox's "View Source" button doesn't do what I thought it did. Curl gives a page with a "Please wait" message and a pile of Javascript.
Or so it was when I posted my earlier comment.