∞

㛧

name of a county in today's Shanxi province

mǎn

㛧