即今云南永胜县西南程海。明、清称陈海。明《寰宇通志》卷113北胜州：陈海“在州南四十里，周回八十里。土人传云，昔本陆地，有姓陈者居此，一夕沉为海，因名”。《清一统志·永北直隶厅》引《通志》：“一作程海，下流入金沙江。”今水位下降， 已与金沙江悬隔。
马毛山：
亦作马髦岭。在今宁夏固原县西南四十里。晋书·苻登载记：东晋太元十九年394，苻登为姚苌苌所败，“遂奔平凉，收集遗众，入马毛山”。即此。 古山名。又作马髦岭。即今甘肃省平凉市西北丰洞山。晋书·苻登载记
历史地名
即今云南永胜县西南程海。明、清称陈海。明《寰宇通志》卷113北胜州：陈海“在州南四十里，周回八十里。土人传云，昔本陆地，有姓陈者居此，一夕沉为海，因名”。《清一统志·永北直隶厅》引《通志》：“一作程海，下流入金沙江。”今水位下降， 已与金沙江悬隔。
马毛山：
亦作马髦岭。在今宁夏固原县西南四十里。晋书·苻登载记：东晋太元十九年394，苻登为姚苌苌所败，“遂奔平凉，收集遗众，入马毛山”。即此。 古山名。又作马髦岭。即今甘肃省平凉市西北丰洞山。晋书·苻登载记
历史地名