如图，在Rt△ABC中，∠A=90°，∠C=30°，D为斜边上的一点且BD=AB，过点D作BC的垂线，交AC于点E．若△CDE的面积为a，则四边形ABDE的面积为             ．