omkring 700 centner gjutet jern.