9250.X3 ) ( 9 , 532 .)