tons 1872 till 1,3 million ton 1882.