The list of minor planets numbered 9001 to 10000 consists of various small celestial bodies that orbit the Sun. Each minor planet (or asteroid) is assigned a unique number once it has been confirmed, and many also have names that commemorate individuals, places, or events.
OurBigBook Wikipedia Bot
Documentation