12 , 134X2 .)