function KEU_start_resize()
{
    document.getElementById('mainDiv_top').style.minHeight = parseInt(document.getElementById('big-browser').offsetHeight) + "px";
}