// Bildertausch Menue
function changein(menuepunkt)
{
	document.getElementById(menuepunkt).src="./images/menue/" + menuepunkt +"_hover.gif";	
}
function changeout(menuepunkt)
{
	document.getElementById(menuepunkt).src="./images/menue/" + menuepunkt +"_passiv.gif";	
}


//ein-ausblenden eines z.B. divs- (das)=id name
function anzeigen(das)
{ 
	if(document.getElementById(das).style.display=='none')	 
		document.getElementById(das).style.display='block'; 
	else document.getElementById(das).style.display='none';
}