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