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

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';
  }
}