如图,矩形ADMN与圆相交于B,E,F,C四点,若AB=4cm,BC=5cm,DE=3cm,求EF的长