var dayofweek = ['Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday'];
  var months = ['January','February','March','April','May','June','July','August','September','October','November','December'];
  var suffix = 'am';
  var hours = date.getHours();
  if (hours === 12) suffix = 'pm';
  else if (hours > 12) {
    hours = hours - 12;
    suffix = 'pm';
  }
  minutes = date.getMinutes();
  if (minutes < 10) {minutes='0' + minutes}
  var thetime = document.getElementById('thetime');
  thetime.appendChild(document.createTextNode(dayofweek[date.getDay()] + ', ' + months[date.getMonth()] + ' ' + date.getDate() + ' at ' + hours + ':' + minutes + ' ' + suffix));
  date=dayofweek=months=suffix=hours=minutes=thetime=null;