/*image-switch*/
	function GIFanim(Bildname, Zustand) {
		if (document.images) {
       		document.images[Bildname].src = 'img/' + Bildname + '_' + Zustand + '.gif'
	}
}

	function JPGanim(Bildname, Zustand) {
		if (document.images) {
       		document.images[Bildname].src = 'img/' + Bildname + '_' + Zustand + '.jpg'
	}
}

	function NAVanim(Bildname, Zustand) {
		if (document.images) {
       		document.images[Bildname].src = 'img/neu/nav/' + Bildname + '_' + Zustand + '.gif'
	}
}