Use str.zfill() where appropriate instead of some equivalent code I had
written...