We do export a very small amount, and we just found that out. We had to do all of our research, and we were digging through statistics. There's a very small amount of mercury that is exported from the country.
On November 15th, 2016. See this statement in context.