4315 . ( 9 , 171 .)