如图，平行四边形ABCD的对角线AC，BD交于O，EF过点O与AD，BC分别交于E，F，若AB＝4，BC＝5，OE＝1.5，则四边形EFCD的周长.