Formula:Data Asteroidum 56000