( G , 10239 .)