洞底天无隔，多应禹凿开。海声通屈曲，石汗洗尘埃。
欲探岩崖去，空令杖履回。无端僧占住，多少后人来。
幽人枕宝剑，殷殷夜有声。
人言剑化龙，直恐兴风霆。
不然愤狂虏，慨然思遐征。
取酒起酹剑，至宝当潜形。
岂无知君者，时来自施行。
一匣有余地，胡为鸣不平。
