function adjustHeight() {
    if (($$("index_right") == null) || ($$("index_right") == null)) return;

    if ($$("index_right").clientHeight <= $$("index_left").clientHeight)
        $$("index_right").style.height = $$("index_left").clientHeight - 20 + "px";
    else
        $$("index_left").style.height = $$("index_right").clientHeight - 20 + "px";
}

function $$(id) {
    return document.getElementById(id);
}