catcode of hangul was 11. we stick to it