如图，在□ABCD中，点E是边AD的中点，EC交对角线BD于点F，若S_△DEF=3，则S_□ABCD=．