// JavaScript support functions
function showTocToggle(show,hide) {
	if(document.getElementById) {
	document.writeln('<small>[<a href="javascript:toggleToc()" class="internal">' + '<span id="showlink" style="display:none;">' + show + '</span>' + '<span id="hidelink">' + hide + '</span>' + '</a>]</small>');
	}
		}
function toggleToc() {
	var toc = document.getElementById('tocinside');
	var showlink=document.getElementById('showlink');
	var hidelink=document.getElementById('hidelink');
if(toc.style.display == 'none') {
	toc.style.display = tocWas;
	hidelink.style.display='';
	showlink.style.display='none';
		} else {
	tocWas = toc.style.display;
	toc.style.display = 'none';
	hidelink.style.display='none';
	showlink.style.display='';
	}	
		}