Make sna2skool.py pad decimal addresses below 10000 with leading zeroes