}, 
} 
  mailOfflineStateChanged: function (aGoingOffline)  {    gFolderJustSwitched = true;    this.updateOfflineUI(aGoingOffline);  },  
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/363d220652f54cae9276eaf1756e1ca9d93d8ba8/mail-offline.js/buggy/mail/base/content/mail-offline.js