竹洞

竹洞何年有？公初斫竹开。洞门无锁钥，俗客不曾来。

【译文】

竹洞是什么时候出现的呢？那是刘公来后才砍斫竹林而最早修成的。竹洞的门扉也没有锁钥，但那世俗的客人也不会到这儿来。