add: if (window.top.SeleniumHTARunner && window.top.document.location.pathname.match(/.hta$/i)) { this.isHTA = true; } 
context: BrowserVersion = function() {    this.name = navigator.appName;    if (window.opera != null)    {        this.browser = BrowserVersion.OPERA;        this.isOpera = true;        return;    }    if (this.name == "Microsoft Internet Explorer")    {        this.browser = BrowserVersion.IE;        this.isIE = true;        return;    }    if (navigator.userAgent.indexOf('Safari') != -1)    {        this.browser = BrowserVersion.SAFARI;        this.isSafari = true;        this.khtml = true;        return;    }    if (navigator.userAgent.indexOf('Konqueror') != -1)    {        this.browser = BrowserVersion.KONQUEROR;        this.isKonqueror = true;        this.khtml = true;        return;    }    if (navigator.userAgent.indexOf('Firefox') != -1)    {        this.browser = BrowserVersion.FIREFOX;        this.isFirefox = true;        this.isGecko = true;        return;    }    if (navigator.userAgent.indexOf('Gecko') != -1)    {        this.browser = BrowserVersion.MOZILLA;        this.isMozilla = true;        this.isGecko = true;        return;    }    this.browser = BrowserVersion.UNKNOWN;}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/7c8f281c97245c878f36003ba018f44622c0c718/selenium-browserdetect.js/buggy/code/javascript/core/scripts/selenium-browserdetect.js