function overcolor (e) {
	if (window.event) e = window.event;

	e.srcElement? el = e.srcElement: el = e.target;
	el.parentNode.className = 'hoofdnavigatieOver';
	
	if(typeof el.onmouseout == 'undefined' || el.onmouseout == null)
		el.onmouseout = function () { el.parentNode.className = 'hoofdnavigatie'};
}
var img1 = new Image();
var img2 = new Image();
var img3 = new Image();
img1.src = "/images/bghoofdnavigatie.gif";
img2.src = "/images/bghoofdnavigatieOver.gif";
img3.src = "/images/bghoofdnavigatieVVOver.gif";
function overcolor0 (e) {
}
function overcolor1 (e) {
}
function overcolor2 (e) {
}