function get_height(id){return(document.getElementById(id).offsetHeight);}
function set_height(id,y){document.getElementById(id).style.height=y+"px";}
function set_visible(id){document.getElementById(id).style.visibility='visible';}
function set_src(id,source){document.getElementById(id).src=source;}


function setup()
{
	var a=get_height("content");
	a=(a<775)?775:a;
	set_height("content",a);
	set_height("content_hintergrund",a+50);
	set_visible("content_box");
}






window.onload=setup;