9 538 kg ringjern.