// JavaScript Document

// Datum
var now = new Date();
var days = new Array('zondag','maandag','dinsdag','woensdag','donderdag','vrijdag','zaterdag');
var months = new Array('januari','februari','maart','april','Mei','juni','juli','augustus','september','oktober','november','december');
var date = ((now.getDate()<10) ? "0" : "")+ now.getDate();
function fourdigits(number)	{
	return (number < 1000) ? number + 1900 : number;
	}
today =  date + " " + months[now.getMonth()] + " " + (fourdigits(now.getYear())) ;


// Verwijder stippellijnen in IE
function fixUglyIE() 
	{ 
	for (a in document.links) document.links[a].onfocus = document.links[a].blur; 
	} 
	if (document.all) 
	{ 
	document.onmousedown = fixUglyIE; 
	}
// Einde


// Geen statusbar message
function hidestatus(){
window.status=''
return true
}

if (document.layers)
document.captureEvents(Event.MOUSEOVER | Event.MOUSEOUT)

document.onmouseover=hidestatus
document.onmouseout=hidestatus