如图,AB‖EF‖DC,AB=20,CD=80,求EF的长