2257X5 ) ( 9 , 533 .)