function closeEditToolTop(sender, args) {
    location.reload(true);
}
function showPanel(pnl) {
    ctl = document.getElementById(pnl);
    if (ctl.style.display == '') {
        document.getElementById(pnl).style.display = 'none';
    }
    else {
        document.getElementById(pnl).style.display = '';
    }
}

function panelHidden(pnl) {
    panel = document.getElementById(pnl);
    if (panel) {
        panel.style.display = 'none';
    }
}