ÿþ/*global document*/



function showTocToggleS(show, hide, id) {

	if (document.getElementById) {

		document.writeln('<span class=\'toctoggle\'><font size=\'2\'>[<a href="javascript:toggleToc(' + "'" + id + "'" + ')" class="internal">'

			+ '<span id="showlink' + id + '" style="display:none;">' + show + '</span>'

			+ '<span id="hidelink' + id + '">' + hide + '</span>'

		    + '</a>]</font></span>');

	}

}



function showTocToggleH(show, hide, id) {

	if (document.getElementById) {

		document.writeln('<span class=\'toctoggle\'><font size=\'2\'>[<a href="javascript:toggleToc(' + "'" + id + "'" + ')" class="internal">'

			+ '<span id="showlink' + id + '">' + show + '</span>'

			+ '<span id="hidelink' + id + '" style="display:none;">' + hide + '</span>'

			+ '</a>]</font></span>');

	}

}





function toggleToc(id) {

	var toc, tocWas, showlink, hidelink;

	toc = document.getElementById('tocinside' + id);

	showlink = document.getElementById('showlink' + id);

	hidelink = document.getElementById('hidelink' + id);

	if (toc.style.display === 'none') {

		toc.style.display = '';

		hidelink.style.display = '';

		showlink.style.display = 'none';



	} else {

		tocWas = toc.style.display;

		toc.style.display = 'none';

		hidelink.style.display = 'none';

		showlink.style.display = '';



	}

}