如图，a∥b∥c，直线m、n与a、b、c分别相交于点A、B、C和点D、B、F．若AB＝3，BC＝5，DE＝4，则EF的长为．