Encodings for Unicode Han Character 'CJK UNIFIED IDEOGRAPH-25517' (U+25517)