7173X2 ) ( 51 , 256 .)