整數轉字串前面補0，靠String.format可以做到格式化整形，字符串，日期等。
System.out.println(String.format(“%09d”, 123);
結果：000000123
System.out.println(String.format(“%9s”, “123″);
結果： 123
System.out.println(String.format(“%09d”, Long.parseLong(“123″)));
結果：000000123