      }(),
        setStatus: function(e) {
            if (Module.setStatus.last || (Module.setStatus.last = {
                time: Date.now(),
                text: ""
            }),
            e !== Module.setStatus.last.text) {
                var t = e.match(/([^(]+)\((\d+(\.\d+)?)\/(\d+)\)/)
                    , n = Date.now();
                t && n - Module.setStatus.last.time < 30 || (Module.setStatus.last.time = n,
                Module.setStatus.last.text = e,
                t ? (e = t[1],
