( G , 25254 ■ 3 .)