134308-are-character-names-unique