<!--
	function anim(bild, switcher)
	 {
		if (document.images) { eval("document.images['" + bild + "'].src = " + bild + switcher + ".src;"); }
	 }
-->