当时石上谁为镌，亭已荒芜字俨然。

七十二年几陵谷，道人曾共字同年。