在四边形ABCD中,E,F分别是AB,BC的中点,O是对角线的交点,OE=4,OF=3,求四边形ABCD的周长.