閒时须得趣，忙里莫辞劳。

释函是，明朝诗人。