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

 function toggleToc( 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  = '';

 }

  else {

    tocinside.style.display = 'none';
    showlink.style.display  = '';
   hidelink.style.display  = 'none';
  }
}