function blaettern(aus,ein) 
	{
	window.document.getElementById(aus).style.visibility="hidden";
	window.document.getElementById(ein).style.visibility="visible";
	}
	
function set_height(y)
	{
	var x = parseInt(window.document.getElementById(y).offsetHeight);
	window.document.getElementById("r_aussen").style.height = x+"px";
	window.document.getElementById("bgunten").style.top = x-3+"px";
	}