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