( 5238 ) J . O. Hult.