9 d. , 000 tons;