13 , 548X3 .)