( G , 12751x2 .)