function dateString(date) {
  const year = date.getFullYear();
  const month = months[date.getMonth()];
  const day = date.getDate();
  var hour = date.getHours();
  if(hour < 10) {
    hour = "0" + hour;
  }
  var min = date.getMinutes();
  if(min < 10) {
    min = "0" + min;
  }
  return hour + ":" + min + "   " + month + " " + day + ", " + year;
}
/* Returns a condensed toString of Date information. */
Returns a condensed toString of Date information.
Returns a condensed toString of Date information .
function dateString(date) {
  const year = date.getFullYear();
  const month = months[date.getMonth()];
  const day = date.getDate();
  var hour = date.getHours();
  if(hour < 10) {
    hour = "0" + hour;
  }
  var min = date.getMinutes();
  if(min < 10) {
    min = "0" + min;
  }
  return hour + ":" + min + "   " + month + " " + day + ", " + year;
}
function dateString ( date ) { const year = date . getFullYear ( ) ; const month = months [ date . getMonth ( ) ] ; const day = date . getDate ( ) ; var hour = date . getHours ( ) ; if ( hour < 10 ) { hour = "0" + hour ; } var min = date . getMinutes ( ) ; if ( min < 10 ) { min = "0" + min ; } return hour + ":" + min + "   " + month + " " + day + ", " + year ; }
Returns a condensed toString of Date information.
Returns a condensed toString of Date information .