如图，在Rt△ABC中，∠C=90°，BC=4，BA=5，点D在边AC上的一动点，过点D作DE∥AB交边BC于点E，过点B作BF⊥BC交DE的延长线于点F，分别以DE，EF为对角线画矩形CDGE和矩形HEBF，则在D从A到C的运动过程中，当矩形CDGE和矩形HEBF的面积和最小时，则EF的长度为.