// JavaScript Document
//Bildtausch
function ausblend(bild1, datei2)
{
document.images[bild1].src= datei2 ;
}
function einblend(bild1, datei1)
{
document.images[bild1].src= datei1;
}

//Fenster öffnen
function fensterauf(datei)
{
window.open(datei, "Anzeige", "menubar=no");
}