function ui__hide_ctrl(id){
        ctrl = document.getElementById(id);
        if(ctrl)
            ctrl.style.display = 'none';
    }

    function ui__unhide_ctrl(id){
        ctrl = document.getElementById(id);
        if(ctrl)
            ctrl.style.display = '';
    }