function aktiv(continent, karte) {
    if (continent == "") return;
    if (karte != "all" && continent != karte) {
        document[karte].src = "/fileadmin/images/maps/world-" + karte + ".gif";
    }
    document["world"].src = "/fileadmin/images/maps/world-" + continent + ".gif";
}

function inaktiv(continent,karte, schrift) {
    if (continent == karte) return;
    document["world"].src = "/fileadmin/images/maps/world-" + karte + ".gif";
    if (karte != "all") {
        document[karte].src = "/fileadmin/images/maps/world-" + karte + ".gif";
    }
}