preload01 = new Image;
preload01.src = "/style/uebersichtskarte/rpf_over.gif";
preload02 = new Image;
preload02.src = "/style/uebersichtskarte/nrw_over.gif";
preload03 = new Image;
preload03.src = "/style/uebersichtskarte/hessen_over.gif";

function bundesland_on (bundesland)
{
    if (document.getElementById && document.getElementById("karte_over")) {
        document.getElementById("karte_over").src = "/style/uebersichtskarte/" + bundesland + "_over.gif";
    }
}
function bundesland_off (bundesland)
{
    if (document.getElementById && document.getElementById("karte_over")) {
        document.getElementById("karte_over").src = "/style/blank.gif";
    }
}