13 , 015X2 .)