function init_toc(total_pages)
{
	for (i = 0 ; i < total_pages ; i++)
	{
		var toc_id = i.toString();
		while (strlen(toc_id) < 5)) {toc_id = "0" + toc_id;} 
		if (i > 10)
		{
			document.getElementById(toc_id).display = 'none';
		}
	}
}