如图在正方形ABCD中，∠EAF的两边分别交CB、DC延长线于E、F点且∠EAF＝45°，如果BE＝1，DF＝7，则EF＝．