function chgimg(img_name, img_small, img_src, img_desc) {
	document.getElementById('Picture').src = img_src + '.jpg';
	document.getElementById('photo_desc').innerHTML = img_desc;
	document[img_name].src = img_small + '.png';
}