12 , 637X3 .)