正方形的一条边长是3,那么它的对角线长是______.