function setBigIMG(newSRC){
  document.getElementById("bigIMG").src = newSRC;
}
function clearBigIMG(){
  document.getElementById("bigIMG").src = "";
}