I won’t say stolen, but sold off to some country or used to produce coins is absolutely accurate. I’d be shocked if they report over 2,500 tonnes.