function menuover(i)
{
	document.images["bild"+i].src='buttons/de/menu'+i+'_over.gif';
	document.images["bildunten"+i].src='buttons/de/menu'+i+'_over.gif';
}

function menuout(i)
{
	document.images["bild"+i].src='buttons/de/menu'+i+'.gif';
	document.images["bildunten"+i].src='buttons/de/menu'+i+'.gif';
}