// JavaScript Document
<!--
button1= new Image();
button1.src = "ongrafik/b1.gif"
button1a= new Image();
button1a.src = "ongrafik/ba1.gif"
button2= new Image();
button2.src = "ongrafik/b2.gif"
button2a= new Image();
button2a.src = "ongrafik/ba2.gif"
button3= new Image();
button3.src = "ongrafik/b3.gif"
button3a= new Image();
button3a.src = "ongrafik/ba3.gif"
button4= new Image();
button4.src = "ongrafik/b4.gif"
button4a= new Image();
button4a.src = "ongrafik/ba4.gif"
button5= new Image();
button5.src = "ongrafik/b5.gif"
button5a= new Image();
button5a.src = "ongrafik/ba5.gif"
button6= new Image();
button6.src = "ongrafik/b6.gif"
button6a= new Image();
button6a.src = "ongrafik/ba6.gif"
button7= new Image();
button7.src = "ongrafik/b7.gif"
button7a= new Image();
button7a.src = "ongrafik/ba7.gif"
/* usw. für alle Grafiken,
die am Mouse-Over-Effekt beteiligt sind */
//____________________ NEW