∵DF⊥OA,OC⊥OA,DE⊥OC∴四边形OEDF为矩形∴EF=OD又∵OD为圆半径,AB=OA+OB=12∴EF=OD=6