( 5242 ) Leo.