正三角形ABC外切于圆O,正方形DEFG内接于圆O,若三角形边长为6,求四边型的边长