13883X3 ) ( 10 , 531 .)