    <!-- Script zum Steuern der Bilder im Menue-->

	<!--
if (document.images) {
pict1=new Image();
pict1.src="bilder/gif/anim/hai_blink_1.gif";
pict2=new Image();
pict2.src="bilder/gif/anim/hai_zwinker_1.gif";

pict3=new Image();
pict3.src="bilder/gif/loch2.gif";
pict4=new Image();
pict4.src="bilder/gif/loch2_.gif";

pict5=new Image();
pict5.src="bilder/gif/loch3.gif";
pict6=new Image();
pict6.src="bilder/gif/loch3_.gif";

pict7=new Image();
pict7.src="bilder/gif/loch4.gif";
pict8=new Image();
pict8.src="bilder/gif/loch4_.gif";

pict9=new Image();
pict9.src="bilder/gif/loch5.gif";
pict10=new Image();
pict10.src="bilder/gif/loch5_.gif";

pict11=new Image();
pict11.src="bilder/gif/loch6.gif";
pict12=new Image();
pict12.src="bilder/gif/loch6_.gif";

pict13=new Image();
pict13.src="bilder/gif/loch7.gif";
pict14=new Image();
pict14.src="bilder/gif/loch7_.gif";

pict15=new Image();
pict15.src="bilder/gif/loch8.gif";
pict16=new Image();
pict16.src="bilder/gif/loch8_.gif";

pict17=new Image();
pict17.src="bilder/gif/loch9.gif";
pict18=new Image();
pict18.src="bilder/gif/loch9_.gif";

pict19=new Image();
pict19.src="bilder/gif/loch10.gif";
pict20=new Image();
pict20.src="bilder/gif/loch10_.gif";
}

function wechsel1()
{ window.document.images[1].src=pict1.src; }
function wechsel2()
{ window.document.images[1].src=pict2.src; }
function wechsel3()
{ window.document.images[2].src=pict3.src; }
function wechsel4()
{ window.document.images[2].src=pict4.src; }
function wechsel5()
{ window.document.images[3].src=pict5.src; }
function wechsel6()
{ window.document.images[3].src=pict6.src; }
function wechsel7()
{ window.document.images[4].src=pict7.src; }
function wechsel8()
{ window.document.images[4].src=pict8.src; }
function wechsel9()
{ window.document.images[5].src=pict9.src; }
function wechsel10()
{ window.document.images[5].src=pict10.src; }
function wechsel11()
{ window.document.images[6].src=pict11.src; }
function wechsel12()
{ window.document.images[6].src=pict12.src; }
function wechsel13()
{ window.document.images[7].src=pict13.src; }
function wechsel14()
{ window.document.images[7].src=pict14.src; }
function wechsel15()
{ window.document.images[8].src=pict15.src; }
function wechsel16()
{ window.document.images[8].src=pict16.src; }
function wechsel17()
{ window.document.images[9].src=pict17.src; }
function wechsel18()
{ window.document.images[9].src=pict18.src; }
function wechsel19()
{ window.document.images[10].src=pict19.src; }
function wechsel20()
{ window.document.images[10].src=pict20.src; }

//-->