setTimeout(function() { self.asyncUpdateUI(); }, 0); 
function () { return browser.warnAboutClosingTabs(true); }); 
      setTimeout(function() { self.asyncUpdateUI(); }, 0);
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/f2cf59f21f02d9b1ad31c92ac1bcd71831613fbe/browser.js/clean/browser/base/content/browser.js