Formula:Data Asteroidum 54000