如图，在正方形ABCD中，O是对角线的交点，过点O作OE⊥OF，分别交AD，CD于E，F，若AE=6，CF=4，则EF=．