Ajouter des Zéros à Cordes dans les Pandas Dataframe

J'ai une pandas bloc de données où les 3 premières colonnes sont des chaînes de caractères:

         ID        text1    text 2
0       2345656     blah      blah
1          3456     blah      blah
2        541304     blah      blah        
3        201306       hi      blah        
4   12313201308    hello      blah         

Je veux ajouter des zéros au ID:

                ID    text1    text 2
0  000000002345656     blah      blah
1  000000000003456     blah      blah
2  000000000541304     blah      blah        
3  000000000201306       hi      blah        
4  000012313201308    hello      blah 

J'ai essayé:

df['ID'] = df.ID.zfill(15)
df['ID'] = '{0:0>15}'.format(df['ID'])

OriginalL'auteur jgaw | 2014-05-23