Encodings for U+80C28