function swap(img,imgSrc) {	document[img].src = imgSrc;}var previousSwap = 'o';function swaphighlight(x,img,imgSrc) {	if (previousSwap) {		document.getElementById(previousSwap).style.border = "none";	}	previousSwap = x;	document[img].src = imgSrc;	document.getElementById(x).style.border = "2px solid #FFFFFF";}function nextImage() {	var range = 10;	return Math.floor(Math.random() * range) + 10;}function randomness(img) {	var interval = 30;	interval *= 1000;	var imgSrc = nextImage();	var recur_call = "randomness('"+img+"')";	document[img].src = 'image/paintings/'+image_list[imgSrc];	setTimeout(recur_call, interval);}
