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
}
function det_aktiv(name)
{
	document.images[name].src = bilder["details"].aktiv.src
}
function det_normal(name)
{
	document.images[name].src = bilder["details"].normal.src
}
var bilder = new Array()
function initialisierung()
{	
	for (i=0;i<5;i++)
	{
		bilder["menu_"+i]	= new button('images/menu'+i+'.gif', 'images/menu'+i+'_over.gif');
	}
	bilder["details"] = new button('images/details.gif', 'images/details_over.gif');
	
	bilder["up"] = new button('images/up.gif', 'images/up_over.gif');
	bilder["dn"] = new button('images/dn.gif', 'images/dn_over.gif');
	
	// dots fuer menu
	for (i=0;i<10;i++)
	{
		bilder["d_"+i]	= new button('images/dot_off.gif', 'images/dot_on.gif');
	}
}
initialisierung()