12 , 095X1 .)