<!--

// Array of day names
var dayNames = new Array("","","","","","","");

var monthNames = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul",
                           "Aug","Sep","Oct","Nov","Dec");

var dt = new Date();
var y  = dt.getYear();

// Y2K compliant
if (y < 1000) y +=1900;
document.write(dayNames[dt.getDay()] + " " + dt.getDate() + " " + monthNames[dt.getMonth()] + " " + y);
// -->