rem: this.map.setCenter(this.map.getLonLatFromPixel(evt.xy), this.map.getZoom() + 1); 
add: this.wheelChange(evt, 1); 
context:     wheelUp: function(evt) {        this.map.setCenter(this.map.getLonLatFromPixel(evt.xy),                           this.map.getZoom() + 1);    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/f99d1ce7b021ecfe42c60911d940762ac09edfd9/Navigation.js/buggy/lib/OpenLayers/Control/Navigation.js