om 6 712 tons.