( 7725 ) Carl Th . Petterson.