( 9242 ) C . Ennelin.