function write_date()
{
   var months = ["Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"];
   var now    = new Date();
   var hr     = now.getHours();
   var month  = months[now.getMonth()];
   var date   = now.getDate();
   var year   = now.getYear();
   var min    = now.getMinutes();
   var pre    = "am";
   if(hr > 12)
   {
      hr  = hr - 12;
      pre = "pm";
   }
   if(min < 10)
   {
      min = "0"+min;
   }
   if(year < 1900)
   {
      year = year + 1900;
   }
   document.write(month+" "+date+", "+year+" "+hr+":"+min+pre);
}