如图，菱形ABCD的对角线AC， BD相交于点O，P为AB边上一动点（不与点A，B重合），PE⊥OA于点E，PF⊥OB于点F，若AB=8，∠BAD=60°，则线段EF长度的最小值为．