this.server.respond("setElementSelected", wasSet); 
this.server.respond(this.location, "setElementSelected", wasSet); 
FirefoxDriver.prototype.setElementSelected = function(elementId) {    var element = Utils.getElementAt(elementId);    var wasSet = false;    try {        var option = element.QueryInterface(Components.interfaces.nsIDOMHTMLOptionElement)        option.selected = true;        wasSet = true;    } catch(e) {}    try {        var checkbox = element.QueryInterface(Components.interfaces.nsIDOMHTMLInputElement)        if (checkbox.type == "checkbox") {            checkbox.checked = true;            wasSet = true;        }    } catch(e) {}    this.server.respond("setElementSelected", wasSet);}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/wrappedElement.js/clean/firefox/src/extension/content/wrappedElement.js