当时石上谁为镌，亭已荒芜字俨然。
七十二年几陵谷，道人曾共字同年。