恃险不种德，兴亡叹数穷。石城几换主，天堑谩连空。御路叠民冢，台基聚牧童。折碑犹有字，多记晋英雄。