function showTocToggle(show,hide,id) {
        if(document.getElementById) {
                document.writeln('<span class=\'toctoggle\'>[<a href="javascript:toggleToc(\''+id+'\')" class="internal">' +
                '<span id="showlink'+id+'" style="display:none;">' + show + '</span>' +
                '<span id="hidelink'+id+'">' + hide + '</span>'
                + '</a>]</span>');
        }
}


function toggleToc(id) {
        var toc = document.getElementById('tocinside'+ id);
        var toc_preview = document.getElementById('tocinside_preview'+ id);
        var showlink=document.getElementById('showlink'+ id);
        var hidelink=document.getElementById('hidelink'+ id);
        if(toc.style.display == 'none') {
                toc.style.display = tocWas;
                toc_preview.style.display = 'none';
                hidelink.style.display='inline';
                showlink.style.display='none';

        } else {
                tocWas = toc.style.display;
                toc.style.display = 'none';
                toc_preview.style.display = 'inline';
                hidelink.style.display='none';
                showlink.style.display='';

        }
}