rem: var pageUnloadDetector = function() { pageUnloading = true; }; 
add: var pageUnloadDetector = function() {pageUnloading = true;}; 
context:     var pageUnloadDetector = function() {        pageUnloading = true;    };
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/6b0b260c628dcdbf842d816728bb3bdcc6219faa/selenium-browserbot.js/clean/code/javascript/core/scripts/selenium-browserbot.js