上有君山下有湖，洞庭有乐今何如？ 穴中亡吴有遗谶，龙威丈人开素书。