矩形ABCD,E、F为对角线AC的三等分点,若△BEF的面积为4,则矩形ABCD的面积为多少?