如图，在Rt△ABC中，∠ACB=90°，点D、E、F分别为AB、AC、AD的中点，若AB=12，则EF的长为.