window.addEventListener("unload", function(event){that.monitor.unwatch(event.originalTarget||document); that.preference_observer.unregister();}, true); 
window.setTimeout(function() { that.checkVersion(); }, 10); 
    window.addEventListener("unload", function(event){that.monitor.unwatch(event.originalTarget||document); that.preference_observer.unregister();}, true);
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/47130c6e0e0ff1fa4859340ff430874c887b7f56/itsalltext.js/clean/src/chrome/content/itsalltext.js