Proposal: 9 Hangul to 15 bytes standardization

[DonaldTsang]

9 Hangul characters from 0xAC00 to 0xD7A3 (11172 total)
Is equivalent to 9*log(11172)/log(2) or 121.0284 bits of data.