function header_image(pos, bild)
	{
		document.getElementById(pos).src = '/bilder/kopfbilder/' + bild + '.jpg';
	}