// display today's date

// (year hardcoded to work in all browsers)

var today = new Date()

var month = today.getMonth() + 1

var date = today.getDate()

var wd = today.getDay()

if (wd == 0) {week_day = "Zondag"}

if (wd == 1) {week_day = "Maandag"}

if (wd == 2) {week_day = "Dinsdag"}

if (wd == 3) {week_day = "Woensdag"}

if (wd == 4) {week_day = "Donderdag"}

if (wd == 5) {week_day = "Vrijdag"}

if (wd == 6) {week_day = "Zaterdag"}

if (month == 1) {month_name = "Jan."}

if (month == 2) {month_name = "Feb."}

if (month == 3) {month_name = "Mrt."}

if (month == 4) {month_name = "Apr."}

if (month == 5) {month_name = "Mei"}

if (month == 6) {month_name = "Jun."}

if (month == 7) {month_name = "Jul."}

if (month == 8) {month_name = "Aug."}

if (month == 9) {month_name = "Sept."}

if (month == 10) {month_name = "October"}

if (month == 11) {month_name = "Nov."}

if (month == 12) {month_name = "Dec."}

dispdate =   "<b>" + "&nbsp;" + week_day

           + "&nbsp;" + date + "&nbsp;" + month_name
	   + "&nbsp;"

           + "'12</b>"

document.write(dispdate);