documentation_scripts

<script>
document.addEventListener("DOMContentLoaded", function(event) {
"use strict";

function display (u32) {return ("0000000" + u32.toString (16)).substr (-8);}
function generate_id_unadorned () {
  var array = new Uint32Array (2);
  window.crypto.getRandomValues (array);
  return display (array [0]) + display (array [1]);
}
function generate_id () {
  return "(0x" + generate_id_unadorned () + ")";
}
function replace_id_boxes() {
$(".random_ids").each (function (element) {
  $(this).html ("Here are some good random IDs you can use. They are regenerated whenever you load the page or copy one:<br/><pre>ColumnId" + generate_id() + "<br/>ColumnId" + generate_id() + "<br/>ColumnId" + generate_id() + "<br/>EventId" + generate_id() + "<br/>EventId" + generate_id() + "<br/>EventId" + generate_id() + "<br/>PredictorId" + generate_id() + "<br/>PredictorId" + generate_id() + "<br/>PredictorId" + generate_id()+"</pre>");
});
$(".inline_random_id").each (function (element) {
  $(this).html (", e.g. <code>" + $(this).data ("idtype") + generate_id() + "</code>");
});
$("span.number:contains('defacab1e_bad_1d')").each (function (element) {
  $(this).text($(this).text().replace ('defacab1e_bad_1d', generate_id_unadorned()));
});


}
replace_id_boxes();
document.addEventListener("copy", function() {window.setTimeout (replace_id_boxes,30)});

});
</script>