if (that.preferences.data.debug) { 
if (that.preferences.debug) { 
  that.debug = function() {    if (that.preferences.data.debug) {      try { Firebug.Console.logFormatted(arguments); }       catch(e) {}    }  };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/bff2f65be18c7af8efd7bc0fe752d204210ff3a4/itsalltext.js/buggy/chrome/content/itsalltext.js