( 12531 ) Carl J . Johanson.