焦山三诏洞 北宋 · 释了元
七言绝句
畴昔先生此掩关,紫泥三到石房间。
若教便逐蒲轮起,安得清风镇海山(清李元度《小学弦歌》卷八)