There are 12,346 Roma people