4 , 142X1 .)