rem: var oldZoom = this.zoom; 
context:     zoomToFullExtent: function() {        var fullExtent = this.getFullExtent();        var oldZoom = this.zoom;        this.setCenter(          new OpenLayers.LonLat((fullExtent.left+fullExtent.right)/2,                                (fullExtent.bottom+fullExtent.top)/2),                                0                               );    },
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/2b5f13ae0eea826ef41a516d5c3941754bc629f9/Map.js/buggy/lib/OpenLayers/Map.js