12 , 841X2 .)