The batch script implementation "adds a zero to each digit in txt and adds 1 to the front of 0."