// needs JQuery
sS hjs_handleScrollToAnchor() {
  ret hjs([[
    $(document).ready(function() {
      var anchor = window.location.hash.substr(1);
      var match = anchor.match(/^scrollTo(.+)$/);
      if (match.length)
        window.scrollY = parseInt(match[1]);
    });
  ]]);
}