如图，在正方形ABCD中，O是对角线AC，BD的交点，过点O作OE⊥OF，分别交AB，BC于点E，F，若AE=4，CF=3，则四边形OEBF的面积为.