原文文字第七版。比较古老的文字编辑工具了。