石磴古苔青，不见圮桥履。

洞口有樵人，浑疑赤松子。