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