but they are not. Gold down about 12 dollars, miners holding.