那知黄竹瑶池梦，历尽青天蜀道难。

程公许，宋朝诗人。