add: var oldZoom = this.zoom; 
context:     zoomExtent: function() {        var fullExtent = this.getFullExtent();                this.zoom = this.getZoomForExtent( fullExtent );        this.setCenter(          new OpenLayers.LatLon(            (fullExtent.minlat+fullExtent.maxlat)/2,             (fullExtent.minlon+fullExtent.maxlon)/2          )        );        this.moveToNewExtent(true);            },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1027/ed9b57b6df737ed58b33843285251114e8507962/Map.js/clean/lib/OpenLayers/Map.js