function toggleMainSubToc()
{
var tocpl = document.getElementById('mainSubTOC');
if (tocpl.innerHTML == '')
newtoc('mainSubTOC');
else
tocpl.innerHTML = '';
}