update 1908121140

js/date-time.js

@@ -0,0 +1,42 @@
+const date_time = id => {
+
+  let date = new Date;
+
+  date = new Date(date.toLocaleString('en-US', { timeZone: 'America/New_York' }));
+
+  let year = date.getFullYear(),
+      month = date.getMonth(),
+      months = new Months().short,
+      d = date.getDate(),
+      day = date.getDay(),
+      days = new WeekDays().short,
+      h = date.getHours(), m = date.getMinutes(), s = date.getSeconds();
+
+  if (h < 10) h = '0' + h;
+  if (m < 10) m = '0' + m;
+  if (s < 10) s = '0' + s;
+
+  result = days[day] + '&nbsp&nbsp&nbsp' +
+           months[month] + ' ' + d + ', ' +
+           year + '&nbsp&nbsp&nbsp' + h + ':' + m + ':' + s +
+           '<span style="font-style: oblique;">US Eastern Standard Time</span>';
+
+  document.getElementById(id).innerHTML = result;
+
+  setTimeout('date_time("' + id + '");', 1000);
+
+  return true;
+
+};
+
+function WeekDays() {
+
+  this.short = new Array('Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat');
+
+}
+
+function Months() {
+
+  this.short = new Array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec');
+
+}