// JavaScript Document


function changeImages1(element_img1, source_img1) {
	
			document.getElementById(element_img1).src=source_img1;
	
}
function changeImages2(element_img2, source_img2) {
	
			document.getElementById(element_img2).src=source_img2;
	
}