örn 9 709 tons.