如图，在Rt△ABC中，∠C=30°，以直角顶点A为圆心，AB长为半径画弧交BC于点D，过D作DE⊥AC于点E．若DE=a，则△ABC的周长用含a的代数式表示为                ．