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<5;i++)
	{
		bilder["tn_"+i]	= new button('images/tnav'+i+'.gif', 'images/tnav'+i+'_over.gif');
	}
}
initialisierung()