function SwapImage(area) {
    var map = document.getElementById('map');
    switch (area) {
        case "area1":
            map.src = '/webapp/contacts/img/area-1-big.gif';
            break;
        case "area2":
            map.src = '/webapp/contacts/img/area-2-big.gif';
            break;
        case "area3":
            map.src = '/webapp/contacts/img/area-3-big.gif';
            break;
        default:
            map.src = '/webapp/contacts/img/world.gif';
            break;
    }
}

function RestoreImage() {
    var map = document.getElementById('map');
    map.src = "/webapp/contacts/img/world.gif";
}