docs: function (page) {
              var state = this.state;
              if (state.currentPage !== page) {
                  // page has changed
                  state.currentPage = page;
                  this.updateVisiblePages();
                  scope.broadcast('pagefocus', {
                      page: state.currentPage,
                      numPages: this.numPages,
                      visiblePages: util.extend([], state.visiblePages),
                      fullyVisiblePages: util.extend([], state.fullyVisiblePages)
                  });
              } else {
                  // still update visible pages!
                  this.updateVisiblePages();
              }
          }