皇家蓍蔡老元臣。

程文海，元朝诗人。