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<13;i++)
	{
		bilder["d_"+i]	= new button('images/dot_off.gif', 'images/dot_on.gif');
	}
	//bilder["details"] = new button('images/details.gif', 'images/details_over.gif');
}
initialisierung()