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

韩愈，唐朝诗人。