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