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;
}
function changeMapImage5(url) {
document.getElementById('map5').src = url;
}
function changeMapImage6(url) {
document.getElementById('map6').src = url;
}
function changeMapImage7(url) {
document.getElementById('map7').src = url;
}
function changeMapImage8(url) {
document.getElementById('map8').src = url;
}
function changeMapImage9(url) {
document.getElementById('map9').src = url;
}