12 , 964X1 .)