this.location = "0,0"; 
function FirefoxDriver(server) {    this.server = server;}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/firefoxDriver.js/clean/firefox/src/extension/content/firefoxDriver.js