如图，在矩形ABCD中，AD=5，AB=8，点E为射线DC上一个动点，把△ADE沿直线AE折叠，当点D的对应点F刚好落在线段AB的垂直平分线上时，则DE的长为．