function showImg(id) {
		i = document.getElementById(id);
		i.className = "highlight";
		t = document.getElementById("imgDescr");
		t.innerHTML = i.attributes["text"].value;
	}
	function shadeImg(id) {
		document.getElementById(id).className = "ordinary";
		t.innerHTML = "";
	}