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