function getCurrentHash() {
  return document.location.hash;
}
@typedef {Object} PushParameters
@property {string} [namedDest] - The named destination. If absent, a
  stringified version of `explicitDest` is used.
@property {Array} explicitDest - The explicit destination array.
@property {number} pageNumber - The page to which the destination points.