《水经注·卷二》
徨水又往东流经允吾县北边，就是郑伯津，与涧水相汇合。涧水发源于令居县西北的塞外，往南流经令居县旧城西边。
湟水又东径允吾县北为郑伯津，与涧水合，水出令居县西北塞外，南流径其县故城西。
The Huang River flows eastward again and passes through the north of Yunwu County, which is the crossing of Zheng Bo, and meets with the Jian River. The Jian River originates from Saiwai in the northwest of Lingju County and flows south through the west of the old city of Lingju County.