Formula:Data Asteroidum 7000