function toggle(id)
{
	var allIDs = Array('proc01','proc02','proc03','proc04','proc05','proc06','proc07','proc08','proc09','proc10','proc11');
	for(var i = 0; i < allIDs.length; i++) {
		// hide all layers
		document.getElementById(allIDs[i]).style.display = 'none';
		// turn off border for all thumbnails
		document.getElementById(allIDs[i] + 'thumb').className = '';
	}
	
	document.getElementById(id).style.display = '';		// show selected layer
	document.getElementById(id).className = 'thumbSel';		// give border to thumb
	
	var thumbID = document.getElementById(id + 'thumb');
}