function toggleTOC() {
	if(document.getElementById("toc").style.display == 'block')
	{
		document.getElementById("toc").style.display= 'none';
	}
	else
	{
		document.getElementById("toc").style.display = 'block';
	}

	document.location.href="#anchor_toc"

}


function submitForm(book)
  {
	document.getElementById(book).submit();
  }