字符串补全

int a=123,想最后结果变为"00123";

可以有三种方式:

1、string a1 = a.ToString().PadLeft(5, '0'); 

2、string a2 = string.Format("{0:d5}", a);       

3、string a3 = a.ToString("00000");