function Img_Change01(img_url) {
	document.getElementById("top_map01").src=img_url;
}