function changePic(whichpic)
{
var source = whichpic.getAttribute("title");
var picture = document.getElementById("picture");
picture.setAttribute("src",source);
}