function markiert(x)
	{
	eval("document.getElementById('butnavi" + x + "').style.visibility='visible'");
	}

function unmarkiert(x)
	{
	eval("document.getElementById('butnavi" + x + "').style.visibility='hidden'");
	}