och har kostat i gjutning 7,900 kr.