reduce : function() { this.jump(-1); 
reduce: function () { var i = this.fullZoomValues.indexOf(this.snap(this.fullZoom)) - 1; if (i >= 0) this.fullZoom = this.fullZoomValues[i]; 
  reduce : function() {    this.jump(-1);  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/db7cd57c4ee083b474dffe689b52f577a52bb6f8/viewZoomOverlay.js/clean/toolkit/content/viewZoomOverlay.js