如图，□ABCD中，E是CD的延长线上一点，B与AD交于点F，CD＝2DE．若△DEF的面积为a，则□ABCD的面积为    ．（用a的代数式表示）