Formula:Data Asteroidum 12000