sS hjs_makePageID() {
  ret hjs([[
    var pageID = Math.floor(Math.random()*1e12).toString();
    console.log("pageID: " + pageID);
  ]]);
}