( 3943 ) Carl Koos.