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