如图，矩形ABCD中，对角线AC、BD相交于点O，点E、F分别是BO、BC的中点，若AB=5，BC=12，则EF=；