var time_string = ""
function dateOut(dateObject, time_string) {
        var dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");

        var monthNames = new Array("January","February","March","April","May","June",
                              "July","August","September","October","November","December");

        var year = setYear(dateObject.getYear());


	var curDate = new Date();
	var curYear = setYear(curDate.getYear())
	if (year > curYear )
	{
		document.write(dayNames[curDate.getDay()] + ", " + monthNames[curDate.getMonth()] + " " + curDate.getDate() + ", " + curYear);
	}
	else
	{
		year = setYear(year);
	        document.write(time_string + " " + dayNames[dateObject.getDay()] + ", " + monthNames[dateObject.getMonth()] + " " + dateObject.getDate() + ", " + year);
	}
}

function setYear(year_in)
{
	if (year_in < 199) {year_in += 1900};
        if (year_in < 2000) {year_in += 100};
	return year_in;
}
                
function timeOut(timeObject) {

        var seconds             = timeObject.getSeconds();
        var minutes             = timeObject.getMinutes();
        var hours               = timeObject.getHours();

        hours = hours;

        minutes = (minutes < 10 ? ":0" : ":") + minutes ;
	time_string = hours + '' +  minutes + " ";

        dateOut(timeObject, time_string);
}

updated = new Date(document.lastModified); timeOut(updated);