如图，直线a∥b∥c，直线l₁ ， l₂与这三条平行线分别交于点A，B，C和点D，E，F．若AB：BC=1：2，DE=3，则EF的长为．