function aktiv(bild, buchstabe, pfad)
	{
	window.document.images[bild].src = pfad + "pics/menu/" + buchstabe + "2.png";
	return true;
	}

function passiv(bild, buchstabe, pfad)
	{
	window.document.images[bild].src = pfad + "pics/menu/" + buchstabe + "1.png";
	}