如图,四边形ABCD为矩形,E为中点,F为BC上一点,且三角形AEF全等于三角形ABF,若CD=12,则EF=