function show_big_photo (thisFile) {
  var thisDiv = document.getElementById('big_photo');
	while(thisDiv.firstChild){
		thisDiv.removeChild(thisDiv.firstChild);
	}
  var img = document.createElement('img');
	img.src = '/images/stock/500/' + thisFile;
	thisDiv.appendChild(img);
}