function changeMapImage1(url) {
document.getElementById('map1').src = url;
}