// JavaScript Document

function showToc(visibility,id) {
	var toc = document.getElementById(id);
	switch (visibility) {
		case 1:
		toc.style.display = 'block';
		break;
		case 0:
		toc.style.display = 'none';
		break;
		default:
		toc.style.display = 'none';
	}
}