/*
 * Change the src of the element with id 'id' to 'to'.
 * @param id - the id of the element to change the src of.
 * @param to - the new src to be set
 * @param small - the small thumbnail that triggered this all.
 * @param numElements - the number of items to change
*/
function changer(id, to, small, numElements) {
	document.getElementById(id).src=to;

	for (i = 0; i < numElements; i ++) {
		document.getElementById('s' + i).style.borderLeft="4px solid transparent";
	}
	
	document.getElementById(small).style.borderLeft="4px solid black";
}