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

 function toggleToc( number ) {
 // not needed:
 //   var tocmain = document.getElementById('toc' + number);
   var tocinside = document.getElementById( 'tocinside' + number );
   var showlink  = document.getElementById( 'showlink'  + number );
   var hidelink  = document.getElementById( 'hidelink'  + number );

   if ( tocinside.style.display == 'none' ) {
     tocinside.style.display = '';
     showlink.style.display  = 'none';
     hidelink.style.display  = '';
 // not needed:
 //   tocmain.className = '';
 }

   else {
 // not needed:
 //   tocWas = tocinside.style.display;
     tocinside.style.display = 'none';
     showlink.style.display  = '';
     hidelink.style.display  = 'none';
 // not needed:
 //   tocmain.className = 'tochidden';
   }
 }