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