function ChengeSrc(FILE){
		document.getElementById("image001").src = FILE;
	}