正方形对角线长为4,则正方形周长为