Title: Hong Sheng yan jiu
People: Sheng Hong (1645-1704)