利用String.format()使数字最前端自动补零

//在数字最前端加零,自动补齐5位数
		int number=9527;
		String numberString = String.format("%05d", number);
		System.out.println("numberString="+numberString);