Meanings of minor planet names: 80001–81000