13,000 tons ) , ( 3 , 000 tons ),