<!-- Begin
function correct_page()
{

x=document.getElementById("main_div_4");
x2=document.getElementById("main_headline_1");
x3=document.getElementById("main_headline_2");


gh = x2.offsetHeight
gh2 = x3.offsetHeight

if (gh >= gh2) {
gh = gh + 45
x.style.height = gh.toString() + 'px';
}
else {
gh2 = gh2 + 45
x.style.height = gh2.toString() + 'px';
}






}

// End -->