( G , 5871x4 ) ( 6258 .)