function krug()
{
		if (document.krug.complete == false)(document.krug.lowsrc = "/bilder/titel/krug-min-low.gif";)
}