function switch_display(id) {
    obj  = document.getElementById(id)
    disp = obj.style.display
    if (disp == '') {
        obj.style.display = 'none'
    }
    else if (disp == 'none') {
        obj.style.display = ''
    }
}
