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