( 3223 ) O. B . Joachimson.