( 5220 ) Carl F. Johanson.