function changeTOC(text,imageFile,width,height)
{
	document.getElementById('explainLinks').innerText=text;
	document.getElementById('imageLinks').src=imageFile;
	document.getElementById('imageLinks').width = width;
	document.getElementById('imageLinks').height = height;
}
function resetTOC()
{
	document.getElementById('explainLinks').innerText='';
	document.getElementById('imageLinks').src='images/blank.gif'
	document.getElementById('imageLinks').width = 60;
	document.getElementById('imageLinks').height = 60;
}