context:   stopObserving: function(element, name, observer, useCapture) {    var element = $(element);    useCapture = useCapture || false;        if (name == 'keypress' &&        (navigator.appVersion.match(/Konqueror|Safari|KHTML/)        || element.detachEvent))      name = 'keydown';        if (element.removeEventListener) {      element.removeEventListener(name, observer, useCapture);    } else if (element.detachEvent) {      element.detachEvent('on' + name, observer);    }  }
meta: 3974	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3974/af9adbf17404d887f31369756326b0109da7ae2b/prototype.js/buggy/root/static/js/prototype.js