13942X5 ) ( 9 , 484 .)