// JavaScript Document


function einblend(navpunkt) {
	document.getElementById(navpunkt).style.display = "inline";
}

function ausblend(navpunkt) {
	document.getElementById(navpunkt).style.display = "none";
}