~"9000"~ doesn't have any sets.