12 , 739X1 .)