// Verzeichnis in dem sich die Grafiken befinden
var verz = "/images/"

var n = 0;
var source = new Array(n);

//Array für die ursprünglichen Grafiken
source[0] = "pfeil.gif"
source[1] = "pfeil_gr.gif"


//Aufruf für die HTML-Seite: onMouseover="changeIt(name,change[0])" onMouseout="changeIt(0,first[0])"

//zu beachten :
//Die ersten Ziffern der runden Klammer geben das Bild an, dass ausgetauscht werden soll.
//z.B. ist der Button die 2. Grafik im HTML-Dokument, muss es die Ziffer 1 bekommen, da Javascript immer mit 0 beginnt.
// 0 ist also die erste Grafik. 1 die zweite ...usw.
//Die Ziffer in den eckigen Klammern ruft die Bilder des entsprechenden Arrays auf.
//Bei mehr oder weniger Grafiken, bitte das Array entsprechend erweitern.

var l = source.length;
var off = new Array(n);
var on = new Array(n);
var down = new Array(n);

for (i = 0; i != l; i++)
{
m = i
m+1
off[m] = new Image();
off[m].src = verz + source[m];

on[m] = new Image();
cont_on = source[m].split('.');
contains_on = cont_on[0] + "_on." + cont_on[1];
on[m].src = verz + contains_on;

down[m] = new Image();
cont_down = source[m].split('.');
contains_down = cont_down[0] + "_down." + cont_down[1];
down[m].src = verz + contains_down;

}
function change(Bildname,Bildobjekt)
  {
  contains_on = eval("window.document." + Bildname);
  contains_on.src = Bildobjekt.src;
  }