( G , 2539x12 .)