this.server.respond("setElementValue"); 
this.server.respond(this.location, "setElementValue"); 
FirefoxDriver.prototype.setElementValue = function(value) {    var spaceIndex = value.indexOf(" ");    var element = Utils.getElementAt(value.substring(0, spaceIndex));    spaceIndex = value.indexOf(" ", spaceIndex);    var newValue = value.substring(spaceIndex + 1);    Utils.type(element, newValue);    this.server.respond("setElementValue");}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/wrappedElement.js/clean/firefox/src/extension/content/wrappedElement.js