function toggle_visibility(x) {
        if (document.getElementById(x).style.display == 'none') {
                document.getElementById(x).style.display = '';
                document.getElementById(x + "a").style.display = 'none';
        } else {
                document.getElementById(x).style.display = 'none';
        }
}