// Bilder austauschen, z.B. bei Mouseover-Effekten

function Anim(Bildname, Dateiname) {
	document.images[Bildname].src = Dateiname;
} 


// Extrafenster öffnen

function fensterauf(derName) {
 Fenstername=window.open(derName, "dasfenster", "scrollbars=yes,width=400,height=330,toolbar=no,resizeable=no,directories=no,menubar=no");
   Fenstername.focus();
}


// Frames oben und in der Mitte gleichzeitig wechseln

function frameswechseln(datunten) {
	parent.mainFrame.location.href=datunten;
}

function frameswechseln2() {
	parent.mainFrame.location.href = "i_impressum.html";
	parent.topFrame.location.href = "o_impressum.htm";
}