正方形ABCD中,O是对角线AC、BD的交点,过O作OE⊥OF分别交AB、B于E、F,若AE=4,CF=3,求EF的长