Formula:Data Asteroidum 20000