function changemap(source) {
    elem = document.getElementById("world-map");
    elem.src = source;
}

function changeinfo(info) {
    elem = document.getElementById("contact-info");
    elem.innerHTML = info;
}