如图，在▱ABCD中，AD＝6，对角线BD⊥CD， ∠BAD＝30°，∠BAD与∠CDB的平分线交于点E， 延长DB到点F， 使DF＝AD， 连接EF， 则EF的长为．