9353x2 ) ( 5197 .)