 BrowserOffline.uninit(); 
function nonBrowserWindowShutdown(){  if (gSanitizeListener)    gSanitizeListener.shutdown();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/6c85f52158a25d6053f342312dc408905239c9e6/browser.js/clean/browser/base/content/browser.js