the county in colorado with a mean elevation of 10,411 feet ( 3,173 m ) has a population of how many ?
712