function ChangeImg(newimg){
	document.getElementById('big_img').src=newimg;
}