13 , 892X1 .)