( 9225 ) Carl Oscar Philipson.