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