function raus(which) {
        if (komplett == 1) {
            document.getElementById("img_"+which).src = eval(which + ".src");
        }
    }

    function rein(which) {
        if (komplett == 1) {
            document.getElementById("img_"+which).src = eval(which + "_hl.src");
        }
    }

    function openmap() {
        file = 'map.php';
        mapwindow = window.open(file,'Sitemap','width=554,height=570,menubar=no,location=no,scrollbars=no,resizable=no');
        mapwindow.focus();
    }