button_over = new Array (7);
button_out = new Array (7);
button_over[1] = new Image ();
button_over[1].src="grafiken/button/button2b.gif";
button_out[1] = new Image();
button_out[1].src="grafiken/button/button1b.gif";
button_over[2] = new Image ();
button_over[2].src="grafiken/button/button2b.gif";
button_out[2] = new Image();
button_out[2].src="grafiken/button/button1b.gif";

function Gifchange (a,status)
{
//1 = over; 2 = out
if (status == "1")
document.images[a-1].src=button_over[a].src;
else
document.images[a-1].src=button_out[a].src;
}