function hide_all()
{
	document.getElementById("technik").style.display = "none";
	document.getElementById("newsn").style.display = "none";
	document.getElementById("ABE").style.display = "none";
}

function switch_navi(id)
{
	hide_all();
	document.getElementById(id).style.display = "block";
}