( G , 25643 , 3 .)