( 3042 ) Joli.