rem: MozillaPageBot = function(pageWindow) { 
add: var MozillaPageBot = function(pageWindow) { 
context: MozillaPageBot = function(pageWindow) {    PageBot.call(this, pageWindow);};
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/10e591b5be05718f2e4d76628c0765675e463e1b/selenium-browserbot.js/clean/code/javascript/core/scripts/selenium-browserbot.js