function showPic (whichpic) {
	if (!document.getElementById) return false;
	var source = whichpic.getAttribute("href");
	var picture = document.getElementById("picture");
	picture.setAttribute("src",source);
}