/*  animiertes Menü */

var on_images = new Object();
var off_images = new Object();

function img_on(id,url) {
        on_images[id] = new Image();
        on_images[id].src = url;
}

function ion(id) {
        if (typeof(off_images[id]) == "undefined") {
                off_images[id] = new String();
        }
        off_images[id] = document[id].src;
        document[id].src = on_images[id].src;
}

function ioff(id) {
        document[id].src = off_images[id];
}

/*Fenster öffnen. */

function e5(Datei,FName,Aussehen) {
NeuesFenster = window.open(Datei,FName,Aussehen);
}

/*Fenster schließen. */

function e8() {
window.close()
}