function swapthumb(bld)
{
	idStr = new String();
	idStr = bld;
	num = idStr.charAt(idStr.length-1);
	document[bld].src = eval(bld + "over.src");
	document.mainpic.src = eval("mainpic" + num + ".src");
	document.guides.src = eval("guide" + num + ".src");

	var infoEl = document.getElementById("infotext");
	infoEl.innerText = eval("infostring" + num);
}

function restorethumb(bld)
{
	document[bld].src = eval(bld + ".src");
	document.mainpic.src = eval("mainpic" + pagenum + ".src");
	var infoEl = document.getElementById("infotext");
	infoEl.innerText = eval("infostring" + pagenum);
	document.guides.src = eval("guide" + pagenum + ".src");
}