// needs JQuery
sS hjs_handleScrollToAnchor() {
  ret hjs([[
    $(window).on("load", function() {
      var anchor = window.location.hash.substr(1);
      var match = anchor.match(/^scrollTo(\d+)$/);
      if (match) {
        var y = parseInt(match[1]);
        console.log("Scrolling to " + y);
        window.scrollTo(0, y);
      }
    });
  ]]);
}