如图，在矩形ABCD中，AB=9，BC=12，点E是BC的中点，点F是CD边上的任意一点，当ΔAEF的周长最小时，DF=               。