//
//  Write the time and date to the HTML page.
//  Even though the Web Wizards claim we don't have to free resources, I do it anyway.
//
function PutDate()
{
   var now = new Date();
   var dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
   var monNames = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
   var Hours = now.getHours();
   var Mins  = now.getMinutes();
   var Secs  = now.getSeconds();
   var dtime = (Hours >= 12)?"PM":"AM";
   if(Hours > 12)  {Hours -= 12;       }
   if(Mins  < 10)  {Mins  = "0" + Mins;}
   if(Secs  < 10)  {Secs  = "0" + Secs;}
   var buf = dayNames[now.getDay()] + " " + monNames[now.getMonth()] + 
    " " + now.getDate() + ", " + now.getFullYear() + "\n" + Hours + ":" + Mins + ":" + Secs + " " + dtime;
   document.write(buf);
   delete now;
   delete dayNames;
   delete monNames;
   document.close();
}