/************************************************************************
 *     JavaScript functies die uitgevoerd moeten worden na het 			*
 *     opvragen van de pagina.
 *                                                                      *
 ************************************************************************/

/* zet een eventhandler op het <div id="content"> - element om er voor te 
 * zorgen dat het submenu verdwijnt */
 
function initPage() {
	if (!document.getElementById) {
		return;
	}
	var content = document.getElementById('content');
	if (content.tagName.toLowerCase() == 'div') {
		content.onmouseover = hideSub;
	}
}


window.onload = initPage;