How to pad zeroes to a string? How to pad zeroes to a string? python python