Formula:Data Asteroidum 17000