The mine shop and other buildings.