コリコリの別称。