( G.12355x6 ) ( ( .711 .)