function bring_forth_date()
{
    months = new Array ("January", "February", "March", "April", "May",
                        "June", "July", "August", "September", "October",
			"November", "December");
    days = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday",
                        "Saturday");
    mydate = new Date();
    hour      = mydate.getHours();
    minute    = mydate.getMinutes();
    day_month = mydate.getDate();
    month     = mydate.getMonth();
    year      = mydate.getYear();    
    day       = mydate.getDay(); 
    if (minute < 10)  { minute = "0" + minute; }
    ampm = "am";
    if (hour == 0)  { hour  = 12; }
    if (hour > 12)  { hour -= 12;  ampm = "pm"; }
    if (year >= 90 && year < 200) {
        year += 1900;
    }
    date_str  = days [day] + ", ";
    date_str += months [month] + " ";
    date_str += day_month + ", ";
    date_str += year;
    document.write(date_str);
}