return that.preferences.data.debug; 
return that.preferences.debug; 
  that.getDebug = function() {    return that.preferences.data.debug;  };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/bff2f65be18c7af8efd7bc0fe752d204210ff3a4/itsalltext.js/buggy/chrome/content/itsalltext.js