if (b.appName == "Microsoft Internet Explorer") {
                var c = b.userAgent, d = new RegExp("MSIE ([0-9]{1,}[.0-9]{0,})");
                d.exec(c) != null && (a = parseFloat(RegExp.$1))
            }