function updatemenu(donotupdate,dir,file) {
	if (donotupdate == 'False' && dir != '') {
		if (top.MenuCode.showpath) {
			if (dir == 'zoeken') {
			//	var m = top.padnav.document.getElementById('path');
			//	m.innerHTML = '<span class=path0>zoeken</span>';
			//	m.style.display = '';
				
			}
			else {
							
				if (dir == '90%20English') {
					
					top.MenuCode.showmenu(top.menu.document,top.MenuCode.eval('menu').findIdByPath(dir).substr(0,5),'', '','','');
				}
				else {
					top.MenuCode.showmenu(top.menu.document,top.MenuCode.eval('menu').findIdByPath(dir).substr(0,4),'', '','','');
				}
			}
		}
		else {
			setTimeout('updatemenu(donotupdate,dir,file)',1000);
		}
	}

}