// JavaScript Document
function showinfo(ebene) 
{
	eb=document.getElementById(ebene).style;
	eb.visibility="visible";
}
function hideinfo(ebene) 
{
	eb=document.getElementById(ebene).style;
	eb.visibility="hidden";
}