if (window != top) top.location.href = location.href;

var Source = [" ","pix/epw_ani.gif","pix/belebung_ani.gif","pix/zentrifuge_ani.gif","pix/eindicker_ani.gif","pix/nk_ani2.gif","pix/fa_ani.gif"];

function load_ani(bildnr,nSource)
{
	if (document.images)
	{
	ani = new Image();
	ani.src = Source[nSource];
	document.images[bildnr].src = ani.src;
	}
}