function $(_id){
    if(typeof(_id)=='object'){
        return _id;
    }
    else if(typeof(_id)=='string'){
        return document.getElementById(_id);
    }
}
function ResetHeight(){
    var height = document.documentElement.scrollHeight;
    var leftdiv = $('leftPanel');
    var rightdiv = $('rightPanel');
    if(leftdiv&&rightdiv){
        leftdiv.style.height = height;
        rightdiv.style.height = height;
    }
}
window.onload = ResetHeight;