//Image gallery script
function showPic(whichpic) {
	var source = whichpic.getAttribute("href");
	var placeholder=document.getElementById("placeholder");
	placeholder.setAttribute("src",source);
	var text = whichpic.getAttribute("title");
	var description = document.getElementById("pictureDescription");
	description.firstChild.nodeValue = text;
}