// JavaScript Document
function changeMapImage1(url) {
document.getElementById('map1').src = url;
}
function changeMapImage2(url) {
document.getElementById('map2').src = url;
}
function changeMapImage3(url) {
document.getElementById('map3').src = url;
}
function changeMapImage4(url) {
document.getElementById('map4').src = url;
}