Title: Hehe zheng ji
Subjects: Hsing-hsien, China (District, Shanxi Sheng), History