	<!--
	function switchMenu( mID )
	{
		/* Menu ID */
		var mID;

		/* Check of het menu aan of uit staat */

/* Dit hoeft niet meer, want dit
	gebeurd nu al door de php code
	als er op een menu geklikt is.

		if( document.getElementById( mID ).style.display == 'none' )
		{
			document.getElementById( mID ).style.display = 'block';
		}
		else
		{
			document.getElementById( mID ).style.display = 'none';
		}
*/
	}
/*fuctie die de popup aan stuurd*/
	function MM_openBrWindow(theURL,winName,features) { //v2.0
	  window.open(theURL,winName,features);
	}
	//-->