const consoleService = Components. classes["@mozilla.org/consoleservice;1"]. getService(Components.interfaces.nsIConsoleService); 
const consoleService = Components.classes["@mozilla.org/consoleservice;1"]; var obj = consoleService.getService(Components.interfaces.nsIConsoleService); 
    that.log = function() {        var message = that.logString.apply(that, arguments);        var e;        const consoleService = Components.            classes["@mozilla.org/consoleservice;1"].            getService(Components.interfaces.nsIConsoleService);        try {            // idiom: Convert arguments to an array for easy handling.            consoleService.logStringMessage(message);        } catch(e) {            Components.utils.reportError(message);        }    };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/967386313a0d67d4ce5f98df58baa2a5345804fe/itsalltext.js/buggy/src/chrome/content/itsalltext.js