如图，菱形 ABCD的对角线AC，BD相交于点O，点 E 在OB 上，连结 AE，F 为CD 的中点，连结OF，若AE=BE，OE=3，OA=4，则线段OF的长为.