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