var myheader = new Array()

myheader[0] = '<table cellspacing="0"><tr><td><img src="images/hoofding.png" alt=""></td><td><img src="images/sponsors.gif"></td></tr></table>'

myheader[0] += '<script type="text/javascript">'
myheader[0] += 'function updateClock ( ){  '
myheader[0] += 'var currentTime = new Date ( );' 
myheader[0] += 'var currentDay = currentTime.getDay ( );'

myheader[0] += 'currentDay = ( currentDay == 0 ) ? "Zon" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 1 ) ? "Maa" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 2 ) ? "din" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 3 ) ? "Woe" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 4 ) ? "don" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 5 ) ? "Vrij" : currentDay;'
myheader[0] += 'currentDay = ( currentDay == 6 ) ? "Zat" : currentDay;'

myheader[0] += 'var currentMonth = currentTime.getMonth( );'
myheader[0] += 'currentMonth = ( currentMonth == 0 ) ? "jan" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 1 ) ? "feb" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 2 ) ? "maa" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 3 ) ? "apr" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 4 ) ? "mei" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 5 ) ? "jun" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 6 ) ? "jul" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 7 ) ? "augus" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 8 ) ? "sep" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 9 ) ? "okt" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 10) ? "nov" : currentMonth;'
myheader[0] += 'currentMonth = ( currentMonth == 11) ? "dec" : currentMonth;'

myheader[0] += 'var currentDate = currentTime.getDate( );'   
myheader[0] += 'var currentHours = currentTime.getHours ( );'
myheader[0] += 'var currentMinutes = currentTime.getMinutes ( );'
myheader[0] += 'currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;'
myheader[0] += 'var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";'
myheader[0] += 'currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;'
myheader[0] += 'currentHours = ( currentHours == 0 ) ? 12 : currentHours;'
myheader[0] += 'var currentTimeString =currentDay +  " " + currentDate +" " +  currentMonth + " " + currentHours + ":" + currentMinutes + " " + timeOfDay;'
myheader[0] += 'document.getElementById("clock").firstChild.nodeValue = currentTimeString;'
myheader[0] += '}'

myheader[0] += 'function dayofyear(d) {'
myheader[0] += 'var yn = d.getFullYear();'
myheader[0] += 'var mn = d.getMonth();'
myheader[0] += 'var dn = d.getDate();'
myheader[0] += 'var d1 = new Date(yn,0,1,12,0,0);'
myheader[0] += 'var d2 = new Date(yn,mn,dn,12,0,0);'
myheader[0] += 'var ddiff = Math.round((d2-d1)/864e5);'
myheader[0] += 'return ddiff+1; }</script>'