consoleService.logStringMessage("ItsAllTextOverlay: " + args.join(' ')); 
consoleService.logStringMessage("ItsAllText: " + args.join(' ')); 
  that.log = function() {    var args = Array.prototype.slice.apply(arguments,[0]);    var consoleService = Components.      classes["@mozilla.org/consoleservice;1"].      getService(Components.interfaces.nsIConsoleService);    consoleService.logStringMessage("ItsAllTextOverlay: " + args.join(' '));  };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/bce0a6f921432eb6e11a2f4bacbca50f7e619c10/itsalltext.js/clean/chrome/content/itsalltext.js