已知：如图，正方形ABCD中，对角线AC和BD相交于点O．E、F分别是边AD、CD上的点，若AE=4cm，CF=3cm，且OE⊥OF，则EF的长为 cm．