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