如图，直线$a//b//c$，直线$l_1$，$l_2$与这三条平行线分别交于点$A$，$B$，$C$和点$D$，$E$，$F$．若$\mathit{AB}:\mathit{BC}=1:2$，$\mathit{DE}=3$，则$\mathit{EF}$的长为　　．