如图，在长方形ABCD中，点E是BC上一点，连结AE，以AE为对称轴作△ABE的轴对称图形△AB′E，延长EB′恰好经过点D，过点E作EF⊥BC，垂足为E，交AB′于点F，已知AB=9，AD=15，则EF=．