12 , 519X3 .)