4171 . ( 9 , 658 .)