<!--
// Function: change table of contents
	function jumpAnchor(contents) {
		top.faith.toc.location.href = "../" + contents + "/contents.html";}
//-->