13 , 427X2 .)