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