Pŏpchong

1670 – 1733

• Hŏjŏng chip
• Hŏjŏng munjip