//<!--
function getLongDateString()
{       //method defined on class Date.
        //Returns a date string of the form: Day DD Month,YYYY
        //(e.g. Sunday 27 September, 1998)
        monthNames = new Array("Januari","Februari","Maart","April","Mei","Juni","Juli","Augustus","September","Oktober","November","December");
dayNames = new Array("Zondag","Maandag","Dinsdag","Woensdag","Donderdag","Vrijdag","Zaterdag");
        dayOfWeek = this.getDay();
        day = dayNames[dayOfWeek];
        dateOfMonth = this.getDate();
monthNo = this.getMonth();
        month = monthNames[monthNo];
year = this.getYear();
        if (year < 2000)
year = year + 1900;
dateStr = day+" "+dateOfMonth+" "+month+", "+year;
        return dateStr;
}
//register the  method in the class Date
Date.prototype.getLongDateString=getLongDateString;

function DocDate()
{ //return the document modification date (excl.time)
//as a string
        DateTimeStr = document.lastModified;
        secOffset = Date.parse(DateTimeStr);
        if (secOffset == 0 || secOffset == null) //Opera3.2
                         dateStr = "Unknown";
        else
        {
                aDate = new Date();
                aDate.setTime(secOffset);
                //use method defined above
                datestr = aDate.getLongDateString();
        }
        return dateStr;
}
// -->