《水经注·卷九》
荡水发源于河内荡阴县西山东边，荡水发源于县西的石尚山，泉水流经老县城南面，该县就是按水来取名的。
荡水出河内荡阴县西山东，荡水出县西石尚山，泉流径其县故城南，县因水以取名也。
Dangshui originates from the west of Hanshan Mountain in Dangyin County, west of the county, and flows through the south of the old county town. The county was named after the water.