七圣山

即七峰山。在今甘肃渭源县东北三里。《清一统志·兰州府一》：七峰山“亦名七圣山”。