var timer_stop	= 0;
var menu_inhoud	= 0;
var delay	= 300;

function open_u(ux)
{	stop_ctime();
	if(menu_inhoud) menu_inhoud.style.visibility = 'hidden';
	menu_inhoud = document.getElementById(ux); // haalt en toont nieuwe menu-inhoud
	menu_inhoud.style.visibility = 'visible';
}
function sluit() //sluit getoonde menu-inhoud
{	if(menu_inhoud) menu_inhoud.style.visibility = 'hidden'; }

function sluit_u()  // gaat na zoveel sec. naar  sluit
{	timer_stop = window.setTimeout(sluit, delay);}

function stop_ctime() // sluit  timer_stop
{	if(timer_stop)
	{	window.clearTimeout(timer_stop);
		timer_stop = null;
	}
}
function streep ()
{ document.write("streep");
	setTimeout('alert("hello")',1250);
}