代出真儒起陆沉，丁丁伐木振云林。

释函是，明朝诗人。