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