//=============================================
// changeimg
//=============================================
function changeimg(imgname) {
	document.getElementById("map").src=imgname;
}