任意取12个自然数