function button(dateiname_normal, dateiname_aktiv)
{
	this.aktiv	= new Image()
	this.normal	= new Image()
	this.aktiv.src	= dateiname_aktiv
	this.normal.src = dateiname_normal
}
function aktivbild(name)
{
	document.images[name].src = bilder[name].aktiv.src
}
function normalbild(name)
{
	document.images[name].src = bilder[name].normal.src
}
var bilder = new Array()
function initialisierung()
{
	for (i=0;i<8;i++) // Menu
	{
		bilder["menu_"+i]	= new button('/images/menu/menu' + i + '_off.gif', '/images/menu/menu' + i + '_over.gif');
		// images/menu/menu0_off.gif
	}
}
initialisierung()