但向函关迎老子，不知郑圃有真人。

刘子翚，宋朝诗人。