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