Production in 2018 was 9.4 million carats.