I wrote this code and I feel bad for it. Can you fix it up so it properly pads *any* number string to 13 digits?
e.g., 

```
42   --> "0000000000042"
1234 --> "0000000001234"
...
```