在三角形纸片ABC中，∠C=90°，∠B=30°，点D（不与B，C重合）是BC上任意一点，将此三角形纸片按下列方式折叠，若EF的长度为a，则△DEF的周长为（用含a的式子表示）．