How many encoding forms are there for Korean Hangul?