server.respond("submitElement"); 
server.respond(this.location, "submitElement"); 
FirefoxDriver.prototype.submitElement = function(elementId) {    var element = Utils.getElementAt(elementId);    var submitElement = Utils.findForm(element);    if (submitElement) {        var server = this.server;        new WebLoadingListener(function(event) {            server.respond("submitElement");        });        if (submitElement["submit"])            submitElement.submit();        else            submitElement.click();    } else {        server.respond("submitElement");    }}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/wrappedElement.js/clean/firefox/src/extension/content/wrappedElement.js