function setbigimg(newSRC){
  document.getElementById("bigimg").src = newSRC;
}
function clearbigimg(){
  document.getElementById("bigimg").src = "";
}