( G * 12 , 517X1 .)