13 , 013X2 .)