function   theDateTimeText()
{
  var current_date = new Date ( );

  var month_names =["January", "February", "March","April","May","June","July","August","September","October","November","December"];
  var day_names =["Sunday", "Monday", "Tuesday","Wednesday","Thursday","Friday","Saturday"];
  var hours = current_date.getHours()
   var minutes = current_date.getMinutes()

  var suffix = "a.m.";
  if (hours >= 12) {
  suffix = "p.m.";
  hours = hours - 12;
  }
  if (hours == 0) {
  hours = 12;
  }

  if (minutes < 10)
  minutes = "0" + minutes

  document.write(hours + ":" + minutes + " " + suffix);
  document.write ( "&nbsp; |&nbsp; " );
  document.write ( day_names[current_date.getDay()] );
  document.write ( ", &nbsp;" );
  document.write ( month_names[current_date.getMonth()] );
  document.write ( " " + current_date.getDate() );
  document.write ( ",&nbsp;" );
  document.write ( " " + current_date.getFullYear() );

}