客入毛公洞，洞深人不还。

杨维桢，元朝诗人。