Formula:Data Asteroidum 57000