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

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