// JavaScript Document
<!--
button1= new Image();
button1.src = "images/11.gif"
button1a= new Image();
button1a.src = "images/1.gif"
button2= new Image();
button2.src = "images/21.gif"
button2a= new Image();
button2a.src = "images/2.gif"
button3= new Image();
button3.src = "images/31.gif"
button3a= new Image();
button3a.src = "images/3.gif"
button4= new Image();
button4.src = "images/41.gif"
button4a= new Image();
button4a.src = "images/4.gif"
/* usw. für alle Grafiken,
die am Mouse-Over-Effekt beteiligt sind */
//-->
button5= new Image();
button5.src = "images/51.gif"
button5a= new Image();
button5a.src = "images/5.gif"
button6= new Image();
button6.src = "images/61.gif"
button6a= new Image();
button6a.src = "images/6.gif"
button7= new Image();
button7.src = "images/71.gif"
button7a= new Image();
button7a.src = "images/7.gif"
button8= new Image();
button8.src = "images/81.gif"
button8a= new Image();
button8a.src = "images/8.gif"
button9= new Image();
button9.src = "images/91.gif"
button9a= new Image();
button9a.src = "images/9.gif"