 if (typeof(window.tryToClose) != "function" || window.tryToClose()) BrowserCloseWindow(); 
if (WindowIsClosing()) window.close(); 
function BrowserTryToCloseWindow(){  //give tryToClose a chance to veto if it is defined  if (typeof(window.tryToClose) != "function" || window.tryToClose())    BrowserCloseWindow();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/842c8ce63687e858eae1fb17693f18960f1ebdf7/browser.js/clean/browser/base/content/browser.js