// Funktion zum Austausch von Bildern in der Navigationfunction ChangePic(bildname,bild){	if(window.document.images)	{	window.document.images[bildname].src=bild;	}}function ChangePicInFrame(frame,bildname,bild){	if(top.frames[frame].document.images)	{	top.frames[frame].document.images[bildname].src=bild;	}}// Funktion zum Austauschen zweier Framesfunction ChangeFrames(){var i=0;while(i<arguments.length)	{		parent.frames[arguments[i]].location.href=arguments[i+1];		i=i+2;	}}//  Funtion zum Oeffnen und Schliessen von Fensternfunction FensterAuf(wo,bezeichnung,groesse){	window.open(wo,bezeichnung,groesse);	window.self.focus;}function FensterZu(){	window.self.close();}// Bilder vorladenfunction newImage(arg) {if (document.images) {	rslt = new Image();	rslt.src = arg;	return rslt;	}}function preLoadImages() {if (document.images) {	xy = newImage("../images/xy.gif");	}}