function setMapOver(img_src)
{
    document.images['map_img'].src = img_src;
}

function setMapOut()
{
    document.images['map_img'].src = '/website/images/kaart/map.gif';
}

function setWorldMapOut()
{
    document.images['map_img'].src = '/website/images/world_map/world_map.gif';
}

function setLargeMapOut()
{
    document.images['map_img'].src = '/website/images/kaart/map_large.gif';
}