// Function to print out the current date in a user friendly format.
// Year is not required, just as well, since Netscape and MSIE have
// different formats for Y2K. mpatterson@iee.org

today = new Date();
thisDay = today.getDay();
thisDate = today.getDate();
thisMonth = today.getMonth();

dayArray = new Array("Zondag", "Maandag", "Dinsdag", "Woensdag", "Donderdag", "Vrijdag", "zaterdag");
monthArray = new Array("Januari", "Februari", "Maart", "April", "Mei", "Juni", "Juli", "Augustus", "September", "Oktober", "November", "December");

// Work out correct abbreviation.

var abbrev = "";
if (thisDate%10 == 1 && thisDate%11 != 0) { abbrev = "" };
if (thisDate%10 == 2 && thisDate%12 != 0) { abbrev = "" };
if (thisDate%10 == 3 && thisDate%13 != 0) { abbrev = "" };

dateString = dayArray[thisDay]+" "+thisDate+abbrev+" "+monthArray[thisMonth];

// Special holidays, remember months start from zero...

if (thisDate == 1 && thisMonth == 0) { dateString = "Nieuwjaarsdag" };
if (thisDate == 14 && thisMonth == 1) { dateString = "Valentijnsdag" };
if (thisDate == 24 && thisMonth == 11) { dateString = "Kerstavond" };
if (thisDate == 25 && thisMonth == 11) { dateString = "1e Kerstdag" };
if (thisDate == 26 && thisMonth == 11) { dateString = "2e Kerstdag" };
if (thisDate == 31 && thisMonth == 11) { dateString = "Oudejaarsdag" };

document.write(dateString);