四边形ABCD 是正方形,对角线AC,BD相交与O,四边形BEFD是菱形,若正方形的边长为6,则菱形的面积是