如图：△ABC是等边三角形，AB＝12，E是AC中点，D是直线BC上一动点，线段ED绕点E逆时针旋转90°，得线段EF，当点D运动时，则线段AF的最小值为.