Pŭn’chin, n.

noun

n. The same as PUNCHEON.