function growHeight (DivName, StartHeight, EndHeight) {

	var myFx = new Fx.Tween(DivName, {duration: 250});

	myFx.start('height', StartHeight, EndHeight);

};

function shrinkHeight (DivName, StartHeight, EndHeight) {

	var myFx = new Fx.Tween(DivName, {duration: 250});

	myFx.start('height', StartHeight, EndHeight);

};



function swap(Bildname,BildURL)
{
document.images[Bildname].src = BildURL;
}



function div_show(DIVname)
{document.getElementById(DIVname).style.visibility = 'visible';}

function div_hide(DIVname)
{document.getElementById(DIVname).style.visibility = 'hidden';}