竹洞何年有

竹洞何年有，公初斫竹开。

洞门无锁钥，俗客不曾来。