如图，△ABC中，CD是AB边上的高，CD=12，AC=20，BC=15，AE=AC，BF=BC，求EF的长．