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<6;i++) // Menu
	{
		bilder["menu_d"+i]	= new button('../images/guidedtour/menu/d/menu' + i + '_off.gif', '../images/guidedtour/menu/d/menu' + i + '_on.gif');
		
		bilder["menu_e"+i]	= new button('../images/guidedtour/menu/e/menu' + i + '_off.gif', '../images/guidedtour/menu/e/menu' + i + '_on.gif');
		
	}
}
initialisierung()