foundEntry = true; 
    stopObserving: function(elementParam, name, observer, useCapture) {        var foundEntry = false;        var element = OpenLayers.Util.getElement(elementParam);        if (element) {                useCapture = useCapture || false;                    if (name == 'keypress') {                if ( navigator.appVersion.match(/Konqueror|Safari|KHTML/) ||                      element.detachEvent) {                  name = 'keydown';                }            }                    // find element's entry in this.observers cache and remove it            var elementObservers = OpenLayers.Event.observers[element.id];            if (elementObservers) {                        // find the specific event type in the element's list                var i=0;                while(!foundEntry && i < elementObservers.length) {                    var cacheEntry = elementObservers[i];                            if ((cacheEntry.name == name) &&                        (cacheEntry.observer == observer) &&                        (cacheEntry.useCapture == useCapture)) {                                elementObservers.splice(i, 1);                        if (elementObservers.length == 0) {                            OpenLayers.Event.observers[element.id] = null;                        }                        break;                         foundEntry = true;                    }                    i++;                           }            }                    //actually remove the event listener from browser            if (element.removeEventListener) {                element.removeEventListener(name, observer, useCapture);            } else if (element && element.detachEvent) {                element.detachEvent('on' + name, observer);            }        }        return foundEntry;    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/f850939a3a3ced1a81494b1e350aa9320a080043/Events.js/buggy/lib/OpenLayers/Events.js