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