如图,EF是梯形的中位线,设图中阴影部分的面积为S,则梯形ABCD的面积是