昨过三诏洞；今梦半山亭。