Global.helma.Http.getUserAgent ()
Sourcecode in /home/hannes/helma/modules/helma/Http.js:
164:   this.getUserAgent = function() {
165:           return userAgent;
166:       }