( 7423 ) J . O. Cederberg.