curId = 0;
timerId = 0;
function hidePulldownmenu () {
	if (curId) setDisplay ("DIV_pulldownmenu_"+curId, 0);
	curId = 0;
}
function hoofdmenuOnMouseover (id) {
	hidePulldownmenu ();
	if (elementExists ("DIV_pulldownmenu_"+id)) {
		curId = id;
		setDisplay ("DIV_pulldownmenu_"+curId, 1);
	} else {
		curId = 0;
	}
}
function pulldownmenuOnMouseover () {
	window.clearTimeout (timerId);
}
function pulldownmenuOnMouseout () {
	timerId = window.setTimeout ("hidePulldownmenu ()", 100);
}