如图，正方形ABCD的边长为4+2，点E在对角线BD上，且∠BAE=，EF⊥AB，垂足为点F，则EF的长是