已知大梯形ABCD,里面含有小梯形ABEF,AB//CD//EF,AE:ED=2:3,AB=4,CD=9,求EF的长。