( G , 2539 X12 .)