9 d. , cokes , 1,400 tons;