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