vents, function(e) {
    goog.log.info(logger, goog.string.subs('dispatched: %s (token="%s", isNavigation=%s)',
        e.type, e.token, e.isNavigation));
  });
  goog.events.listen(h, goog.History.EventType.NAVIGATE, navCallback);
  h.setEnabled(true);

  function setToken(opt_token) {
    var input = goog.dom.getElement('token_input');
    h.setToken(opt_token || input.value);
  }

  function replaceToken(opt_token) {
    var input = goog.dom.getElement('token_input');
    h.replaceToken(opt_token || inpu