/* ------------------------------------------------ */
            function switchto (ziel, switchto) {
                window.document.images[ziel].src = switchto;
            }
            /* ------------------------------------------------ */