function changeTo(theID)
{

// var newThumb = document.getElementById('thePreview').src.replace("/prev/","/thumb/");

var newPrev = document.getElementById(theID).src.replace("/thumb/","/prev/");

// document.getElementById(theID).src = newThumb;
document.getElementById('thePreview').src = newPrev;
}