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