// dsp_date - returns current date in format Day Mon
function MakeArray(n) {
    this.length = n
    return this
}
monthNames = new MakeArray(12)
monthNames[1] = "Jan."
monthNames[2] = "Feb."
monthNames[3] = "Mar."
monthNames[4] = "Apr."
monthNames[5] = "May."
monthNames[6] = "Jun."
monthNames[7] = "Jul."
monthNames[8] = "Aug."
monthNames[9] = "Sep."
monthNames[10] = "Oct."
monthNames[11] = "Nov."
monthNames[12] = "Dec."
dayNames = new MakeArray(7)
dayNames[1] = "Sun"
dayNames[2] = "Mon"
dayNames[3] = "Tue"
dayNames[4] = "Wed"
dayNames[5] = "Thu"
dayNames[6] = "Fri"
dayNames[7] = "Sat"

function customDateString() {
    currentDate = new Date()
    var theDay = dayNames[currentDate.getDay() + 1]
    var theMonth = monthNames[currentDate.getMonth() + 1]
    msie4 = ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 ));
if (msie4) {
    var theYear = currentDate.getYear()
}
else {
    var theYear = currentDate.getYear() +1900
}
    return theDay + " " + theMonth + " " + currentDate.getDate() + ", " + theYear
}