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