如图，a∥b∥c，直线m，n交于点O，且分别与直线a，b，c交于点A、B、C和点D、E、F，已知OA＝1，OB＝2，BC＝4，EF＝5，求DE的长度是？