<!--

function igazit() {
    UserAgent = navigator.userAgent
    AgentName = UserAgent.substring(25,30)
    if (!document.all || AgentName == "Opera" ){
        var h = document.getElementById('body').offsetHeight;
        var h2 = document.getElementById('left').offsetHeight;
        if (h>h2) document.getElementById('left').style.height=h+'px';
        else document.getElementById('body').style.height=h2+'px';
    }
}


//-->