/* switch a thumbnail for the main display image */
var lastID = 0;
function SelectImg(id) {
if (lastID > 0) {
	document.getElementById('t' + lastID).className = "thumbNormal";
}
document.getElementById(id).className = "thumbSelected";
document.getElementById('t0').src = document.getElementById(id).src;
lastID = id.substring(1);
}
function LoadTrigger() {
	SelectImg('t1');
}
//window.onload = LoadTrigger; -- put this in the wom List of onload events.