The miners' quarters?