// JavaScript Document
letztesBild="";
function bilderWechsel(id)
{
	if(letztesBild!="")
	{
		bild=document.getElementById(letztesBild);
		bild.style.borderStyle="solid";
		bild.style.borderWidth="1px";
		bild.style.borderColor="#CCCCCC";
	}	
	bild=document.getElementById(id);
	bild.style.borderStyle="solid";
	bild.style.borderWidth="1px";
	bild.style.borderColor="#FF0000";
	document.images['bigbild'].src=eval(id).src;
	letztesBild=id;
}