Wen xing. (Wen xing shu dian],, 1957)