function bildwechsel(Name, bild)
{
if (document.images)
	{
	window.document.images[Name].src=bild.src;	
	}
}

function bildwechsel2(Name, Aktbild, Zielbild)
{
if (document.images)
	{
	if (window.document.images[Name].src==Aktbild.src)
	window.document.images[Name].src=Zielbild.src;
	}
}