var weekday_names = new Array(
"Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
var month_names = new Array(
"January", "February", "March", "April", "May", "June", "July",
"August", "September", "October", "November", "December");

function datetostr(date)
{
    var dateline = weekday_names[date.getDay()]
                   + " " + date.getDate()
                   + " " + month_names[date.getMonth()];
    return dateline;
}