格式化数字的方法

数字输出为001,002,003开始

// 格式化字符串：

String.format(Local.CHINA,"编号：%03d",position);
或者：
new DecimalFormat("000").format(position + 1)