function changeMapImage(url) {
document.getElementById('map').src = url;
}
