已知正方形abcd的边长为4cm,E,F分别在BC,DC上,角EAF=45°,求三角形ECF的周长.