Zhen Wenzhong gong quan ji / - Zhen, Dexiu (Wen you shu dian, 1974)