13 , 637X3 .)