嘉峪山

古名洞庭山。在今甘肃嘉峪关市西。《明史·地理志》 肃州卫： “西有嘉峪山，其西麓，即嘉峪关也。”