( G , 13007 , 3 .)