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