如图已知正方形ABCD的对角线长为 ，将正方形ABCD沿直线EF折叠，则图中阴影部分的周长。