( G , 4023X2 .)