Encodings for U+80C08