13 , 539X2 .)