var activatedPicId = 1;
function activatePic(id) {
	if (activatedPicId==id) return false;
	var newPic = document.getElementById("pic"+id);
	if (newPic != null) {
		var oldPic = document.getElementById("pic"+activatedPicId);
		oldPic.style["display"]="none";
		newPic.style["display"]="block";
		activatedPicId = id;
	}
}