		<!--
				function EnlargeThumb(master,newsource)
				{
				  document.getElementById(master).src = newsource;
				}
				
				function MakeBorder(tagger)
				{
				 document.getElementById(tagger).style.border = '2px'
				 document.getElementById(tagger).style.borderStyle = 'solid'
				 document.getElementById(tagger).style.borderColor = 'red'
				}
				
				function BorderBack(tagger)
				{
				 document.getElementById(tagger).style.border = '1px'
				 document.getElementById(tagger).style.borderStyle = 'solid'
				 document.getElementById(tagger).style.borderColor = 'black'
				}
		//-->