<!--
function change()
{
// Geef hier alle submenu id's op.
	document.getElementById('menusub1').style.display = 'none';
	document.getElementById('menusub2').style.display = 'none';
	document.getElementById('menusub3').style.display = 'none';
	document.getElementById('menusub4').style.display = 'none';
}

function showsub(id) { 
	document.getElementById(id).style.display = "block";
}

function show_second_sub(id) {
	document.getElementById(id).style.display = "block";
}

function hide_submenu_bg(id) {
	document.getElementById(id).style.background = '#FFFFFF';
}
//-->