如图，有正方形ABCD，把△ADE顺时针旋转到△ABF的位置．其中AD=4，AE=5，则BF=