function changeButton(num, myNum){
	 for(i=0; i<num; i++){
		 document.getElementById("thumb"+i).style.border="none";
	 }

	document.getElementById("thumb"+myNum).style.border="2px solid #7E736A";
	

}