13600 . ) ( 7171 .)