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