Formula:Data Asteroidum 23000