nl_tokens: Updates the current URL to include a hashtag of the current page number .
pl_tokens: function updateURL ( ) { try { <mask> . history . replaceState ( { } , null , '#' + currentPosition ( ) ) ; } catch ( e ) { window . location . hash = currentPosition ( ) ; } }