rem: EchoButton.doAction(echoEvent); 
context: EchoButton.processKeyPressed = function(echoEvent) {    if (EchoServerTransaction.active) {        return;    }    if (echoEvent.keyCode == 13 || echoEvent.keyCode == 32) {        EchoButton.doAction(echoEvent);	    var elementId = echoEvent.registeredTarget.getAttribute("id");	    EchoButton.doAction(elementId);    }};
meta: 498	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/498/cba3e9745605f087175c32e1dec42716335e9c96/Button.js/buggy/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/Button.js