( 3141 ) O. B . Joachimson.