如图，矩形ABCD，AB＝4，AD＝7，点E在BC上，CE＝CD，DF⊥AE，点F为垂足，则DF的长为．