<!--
function changeMapImage1(url) {
document.getElementById('imgmap-01').src = url;
}
function changeMapImage2(url) {
document.getElementById('imgmap-02').src = url;
}
function changeMapImage3(url) {
document.getElementById('imgmap-03').src = url;
}
function changeMapImage4(url) {
document.getElementById('imgmap-04').src = url;
}