var now = new Date();
var ThisYear = now.getFullYear();
var Sprint = function(s) {
	document.write(s);
}
let $Spacer = function(s) {
	Sprint("=".repeat(s));
}
const $Tab="    ";

//<![CDATA[
$.getJSON("jscript.json",function(data) {
     $.each(data.jscript,function (k,v) {
     var D = v.display;
     var U = v.url;
     $(".menuJS").append('<a href="' + U + '">' + D + '</a><br/>');
      });
 /* 2019-11-30 flush Safari back-page cache */
/* https://stackoverflow.com/questions/8788802/prevent-safari-loading-from-cache-when-back-button-is-clicked */
 window.onpageshow = function(event) {
    if (event.persisted) {
        window.location.reload()
    }
};
 });
//]]>