如图，在Rt△ABC中，∠C＝90°，分别以A，B为圆心，大于的长为半径画弧，两弧交于点M，N，作直线MN交AB于点D，点E，F分别在边AC，BC上，连接EF．若∠EDF＝90°，AE＝3，BF＝6，则线段EF的长为 ．