( G , 10231 , 5 .)