13 , 427X1 .)