dennes företagen folkräkning , till 12,018 personer.