//
// Format a date.
//
function getDate ()
{
  var days = ["Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"];
  var months  = ["January","February","March","April","May","June","July","August","September","October","November","December"];

  var today = new Date();

  // 0 Pad the minutes.
  var minutes = today.getMinutes();
  if (minutes<10)
    minutes = "0"+minutes;

  // Determing AM or PM.
  var ampm;
  var hour = today.getHours();
  if (hour>12)
  {
    ampm = "PM";
    hour = hour-12;
  }
  else
    ampm = "AM";

  return (days[today.getDay()] + ", " + months[today.getMonth()] + " " + today.getDate() + ", " + today.getFullYear() + "&nbsp;&nbsp; " + hour + ":" + minutes + " " + ampm);

  return result;
}