//------------------------------------------------------------
// $Id: date.js 1531 2007-05-22 23:18:30Z samuel_igc $
// Output datetime in current document
//------------------------------------------------------------

// TODO: make it return datetime as function, we we can stuff it into 
// a div periodically

var current_date = new Date ( );

var month_names = new Array ( );
month_names[month_names.length] = "January";
month_names[month_names.length] = "February";
month_names[month_names.length] = "March";
month_names[month_names.length] = "April";
month_names[month_names.length] = "May";
month_names[month_names.length] = "June";
month_names[month_names.length] = "July";
month_names[month_names.length] = "August";
month_names[month_names.length] = "September";
month_names[month_names.length] = "October";
month_names[month_names.length] = "November";
month_names[month_names.length] = "December";

var day_names = new Array ( );
day_names[day_names.length] = "Sunday";
day_names[day_names.length] = "Monday";
day_names[day_names.length] = "Tuesday";
day_names[day_names.length] = "Wednesday";
day_names[day_names.length] = "Thursday";
day_names[day_names.length] = "Friday";
day_names[day_names.length] = "Saturday";

document.write ( day_names[current_date.getDay()] );
document.write ( ", " );
document.write ( month_names[current_date.getMonth()] );
document.write ( " " + current_date.getDate() );
document.write ( " " );
document.write ( " " + current_date.getFullYear() );
document.write ( " " );

var hh = current_date.getHours();
if (hh < 10) {
    hh = "0" + hh;
}
document.write ( " " + hh );

var mm = current_date.getMinutes();
if (mm < 10) {
    mm = "0" + mm;
}
document.write ( ":" + mm );

var ss = current_date.getSeconds();
if (ss < 10) {
    ss = "0" + ss;
}
//document.write ( ":" + ss );