function showHideTOC(){
if (document.getElementById("tocShowHide").style.display!="none") {
document.getElementById("tocShowHide").style.display="none";
document.getElementById("tocShowHideTitle").innerHTML="[show]";
}
else
{
document.getElementById("tocShowHide").style.display="block";
document.getElementById("tocShowHideTitle").innerHTML="[hide]";
}
}