四边形ABCD是正方形,对角线AC`BD相较于O,四边形BEFD是菱形,正方形的边长为6,则菱形的面积为多少拜托