Title: Wu Dian wen ji
People: Dian Wu (1637-1705)