9854x1 ) ( 5052 .)