如图，在菱形ABCD中，对角线AC、BD相交于点O，点E是线段BO上的一个动点，点F为射线DC上一点，若∠ABC=60°，∠AEF=120°，AB=4，则EF可能的整数值是．