If the length of a circumradius of regular octagon ABCDEFGH is 4, the area of the quadrilateral determined by lines AB, CD, EF, and GH is k (2 + sqrt(2)). FInd k.