1793X3 ) ( 25 , 022 .)