<!--
function changeImage(filename, filepos) {
	document.getElementById('viewer').src = "gallery/"+filename+".jpg";
	obj = document.getElementsByTagName("div");
	for (i = 0; i < 5; i++) {
		if (i != filepos) {
			if (document.getElementById("description"+i)) {
		    obj["description"+i].style.visibility = 'hidden';
			}
		} else {
			obj["description"+i].style.visibility = 'visible';	
		}
	}
}
-->