function zeigen(x) 
{
	document.getElementById('navigation2').style.visibility='hidden';
	document.getElementById('navigation3').style.visibility='hidden';
	document.getElementById('navigation4').style.visibility='hidden';
	document.getElementById('navigation'+x).style.visibility='visible';
}

function hideall() 
{
	document.getElementById('navigation2').style.visibility='hidden';
	document.getElementById('navigation3').style.visibility='hidden';
	document.getElementById('navigation4').style.visibility='hidden';
}

function warten(x) 
{
	y='navigation' + x;
	setTimeout("document.getElementById(y).style.visibility='hidden'", 4000);
}