灌溉工兴古洞荒，洞门□蔽碧池傍。