I wonder if 9519 are all registered pikabushniks, or are there more of them?