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