Formula:Data Asteroidum 25000