( G , 12539.3 .)