如图,梯形ABCD中,AB∥CD,AB=12,CD=9,过对角线交点O作EF∥AB交AD于E,交BC于F.求EF的长.