function show(s) {
    var id = s.href.match(/#(\w.+)/)[1];
    var id2 = 'hidden_' + id.match(/shown_(\w.+)/)[1];
    document.getElementById(id2).style.display = 'none';
    document.getElementById(id).style.display = '';
}

function hide(s) {
    var id = s.href.match(/#(\w.+)/)[1];
    var id2 = 'shown_' + id.match(/hidden_(\w.+)/)[1];
    document.getElementById(id2).style.display = 'none';
    document.getElementById(id).style.display = '';
}