    this.time = function(name, reset)    {        if (!name)            return;                var time = new Date().getTime();                if (!context.timeCounters)            context.timeCounters = {};        if (!reset && name in context.timeCounters)            return;                context.timeCounters[name] = time;    };
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/consoleAPI.js/clean/extension/content/firebug/consoleAPI.js