如图，四边形ABCD的对角线AC，BD交于О，过点O的线段EF与AD，BC分别交于点E，F，若AB=CD=4，AD=BC=5，OE=1.5，那么四边形EFCD的周长为