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