<!--
	var current=1;
	function imageOutline(x){
		document.getElementById(current).style.border = '2px solid #ffffff';
		document.getElementById(x).style.border = '2px solid #03763C';
		current=x;
	}
//-->