( G , 5257 .)