function toc_toggle()
{
	if(document.getElementById("toc_block").style.display == "none")
	{
		document.getElementById("toc_block").style.display = "block";
		document.getElementById("toc_toggle_text").innerHTML = "Hide";
	}
	else
	{
		document.getElementById("toc_block").style.display = "none";
		document.getElementById("toc_toggle_text").innerHTML = "Show";
	}
		
}