function show_hide(id, show) {
        if (el = document.getElementById(id)) {
                if (null==show) {
                	show = el.style.display=='none';
                }
                el.style.display = (show ? '' : 'none');
        }
}