谁将倚天剑,斸出天河水。
倾泻落人间,合流奔至此。
六丁战海若,横筑万石垒。
波涛敛潮汐,辟易走千里。
蓄泄有堨埭,深长富源委。
支派缭村落,河渠贯城市。
千畦藉灌溉,万井酌清沚。
伟哉霖雨功,千载流不已(《四明它山水利备览》卷下)