如图, 有一块边长为4的正方形塑料模板ABCD, 将一块足够大的直角三角形的直角顶点落在点A, 两条直角边分别与CD交于点F, 与CB的延长线交于点E, 则四边形AECF的面积是 _________。