( 4967 ) J . H . Hallin.