5246x1 ) ( 7022 .)