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