button_over = new Array (7);
button_out = new Array (7);
button_over[1] = new Image ();
button_over[1].src="grafiken/button/button2.gif";
button_out[1] = new Image();
button_out[1].src="grafiken/button/button1.gif";
button_over[2] = new Image ();
button_over[2].src="grafiken/statistik/ministatistikc.gif";
button_out[2] = new Image();
button_out[2].src="grafiken/statistik/ministatistik.gif";
button_over[3] = new Image ();
button_over[3].src="grafiken/statistik/ministatistikc.gif";
button_out[3] = new Image();
button_out[3].src="grafiken/statistik/ministatistik.gif";
button_over[4] = new Image ();
button_over[4].src="grafiken/statistik/ministatistikc.gif";
button_out[4] = new Image();
button_out[4].src="grafiken/statistik/ministatistik.gif";
button_over[5] = new Image ();
button_over[5].src="grafiken/statistik/ministatistikc.gif";
button_out[5] = new Image();
button_out[5].src="grafiken/statistik/ministatistik.gif";
button_over[6] = new Image ();
button_over[6].src="grafiken/statistik/ministatistikc.gif";
button_out[6] = new Image();
button_out[6].src="grafiken/statistik/ministatistik.gif";
button_over[7] = new Image ();
button_over[7].src="grafiken/statistik/ministatistikc.gif";
button_out[7] = new Image();
button_out[7].src="grafiken/statistik/ministatistik.gif";
function Gifchange (a,status)
{
if (status == "over")
document.images[a-1].src=button_over[a].src;
else
document.images[a-1].src=button_out[a].src;
}