function setBigPic(picname){
    document.getElementById("bigPic").setAttribute("src",picname);
}