om 12 708 tons.