格式化输出：
1234567123672
12345622237123672