this.observers[element.id].push({ 
this.observers[cacheID].push({ 
    observe: function(elementParam, name, observer, useCapture) {        var element = OpenLayers.Util.getElement(elementParam);        useCapture = useCapture || false;        if (name == 'keypress' &&           (navigator.appVersion.match(/Konqueror|Safari|KHTML/)           || element.attachEvent)) {            name = 'keydown';        }        //if observers cache has not yet been created, create it        if (!this.observers) {            this.observers = new Object();        }                //if there is not yet a hash entry for this element, add one        if (!this.observers[element.id]) {            this.observers[element.id] = new Array();        }        //add a new observer to this element's list        this.observers[element.id].push({            'element': element,            'name': name,            'observer': observer,            'useCapture': useCapture        });        //add the actual browser event listener        if (element.addEventListener) {            element.addEventListener(name, observer, useCapture);        } else if (element.attachEvent) {            element.attachEvent('on' + name, observer);        }    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/10b5c2df17f4eb6f1de1b40d3b927b3ea59376fa/Events.js/buggy/lib/OpenLayers/Events.js