The old copper mine.