9250-X3 ) ( 9 , 532 .)