13 , 919X2 .)