17401X1 ) ( 9 , 538 .)