在边长为a的正方形ABCD中,点E在CD中,点F在AD上,若BE=4,EF=3,BF=5,则EC等于