enlarge : function() { this.jump(1); 
enlarge: function () { var i = this.fullZoomValues.indexOf(this.snap(this.fullZoom)) + 1; if (i < this.fullZoomValues.length) this.fullZoom = this.fullZoomValues[i]; 
  enlarge : function() {    this.jump(1);  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/db7cd57c4ee083b474dffe689b52f577a52bb6f8/viewZoomOverlay.js/clean/toolkit/content/viewZoomOverlay.js