12 , 094X2 .)