碧落初开日，丹厓始凿年。下一句是什么

碧落初开日，丹厓始凿年。下一句是什么

碧落初开日，丹厓始凿年。下句是：有山皆是洞，无石不通泉。这句诗词出自王稚登的《天窟洞史金吾新开》。
下面是这首诗的全文：
碧落初开日，丹厓始凿年。有山皆是洞，无石不通泉。扶坏成空谷，雕林作漏天。桃花栽尚短，未满一溪烟。