function selectDiagram(imgFile) {
  if (imgFile != '') {
	document.diagramImage.src=imgFile;
  }
}