//
// This function enables switching pictures
//
function showPic(whichpic) {
	var source = whichpic.getAttribute("href");
	var placeholder = document.getElementById("mainImage");
	placeholder.setAttribute("src",source);
}